Searched defs:assume (Results 1 – 4 of 4) sorted by relevance
7 #define assume(x) \ macro14 #define assume(x) __CPROVER_assume(x) macro
4067 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local
4973 int assume = 3 * !boot_cpu_has(X86_FEATURE_HYPERVISOR); in intel_pmu_init() local