Home
last modified time | relevance | path

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

/linux-6.1.9/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
Dassume.h7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
/linux-6.1.9/arch/x86/events/intel/
Dcore.c5789 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local