Home
last modified time | relevance | path

Searched defs:assume (Results 1 – 4 of 4) 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-4.19/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-4.19/arch/x86/events/intel/
Dcore.c4067 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local
/kernel/linux/linux-5.10/arch/x86/events/intel/
Dcore.c4973 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local