Searched refs:CPUID_CACHETYPE (Results 1 – 3 of 3) sorted by relevance
18 #define CPUID_CACHETYPE 1 macro31 #define uc32_cachetype read_cpuid(CPUID_CACHETYPE)
6 #define CPUID_CACHETYPE 1 macro186 return read_cpuid(CPUID_CACHETYPE); in read_cpuid_cachetype()
220 iclsz = 4 << (read_cpuid(CPUID_CACHETYPE) & 0xf); in __invalidate_icache_guest_page()
