Searched refs:CPUID_EXT_MMFR1 (Results 1 – 2 of 2) sorted by relevance
19 #define CPUID_EXT_MMFR1 0x54 macro34 #define CPUID_EXT_MMFR1 "c1, 5" macro
294 if ((read_cpuid_ext(CPUID_EXT_MMFR1) >> 28) != 4) { in __invalidate_icache_guest_page()