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

/linux-6.3-rc2/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-6.3-rc2/arch/x86/events/intel/
A D	core.c	5932 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local

Completed in 13 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023