Searched defs:assume (Results 1 – 2 of 2) sorted by relevance

/linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
A D	assume.h	7 #define assume(x) \ macro 14 #define assume(x) __CPROVER_assume(x) macro
/linux/arch/x86/events/intel/
A D	core.c	5624 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local

Completed in 14 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023