read_cpuid_cachetype
u32 ctr = read_cpuid_cachetype();
ctr = read_cpuid_cachetype();
aliasing_icache = read_cpuid_cachetype() & (1 << 11);
unsigned int cachetype = read_cpuid_cachetype();
u32 ctr = read_cpuid_cachetype();
return SYS_FIELD_GET(CTR_EL0, CWG, read_cpuid_cachetype());
ctr_raw = read_cpuid_cachetype() & mask;
if ((read_cpuid_cachetype() & mask) !=
bool has_dic = read_cpuid_cachetype() & BIT(CTR_EL0_DIC_SHIFT);
if (!(read_cpuid_cachetype() & BIT(CTR_EL0_IDC_SHIFT)))
ctr = read_cpuid_cachetype();