Home
last modified time | relevance | path

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

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