Searched refs:CPUID_CACHETYPE (Results 1 – 3 of 3) sorted by relevance
15 #define CPUID_CACHETYPE 1 macro28 #define uc32_cachetype read_cpuid(CPUID_CACHETYPE)
6 #define CPUID_CACHETYPE 1 macro187 return read_cpuid(CPUID_CACHETYPE); in read_cpuid_cachetype()
272 iclsz = 4 << (read_cpuid(CPUID_CACHETYPE) & 0xf); in __invalidate_icache_guest_page()
