Searched refs:reg_id_mmfr4 (Results 1 – 3 of 3) sorted by relevance
29 u32 reg_id_mmfr4; member
416 info->reg_id_mmfr4 = read_cpuid(ID_MMFR4_EL1); in __cpuinfo_store_cpu_32bit()
1006 init_cpu_ftr_reg(SYS_ID_MMFR4_EL1, info->reg_id_mmfr4); in init_32bit_cpu_features()1196 info->reg_id_mmfr4, boot->reg_id_mmfr4); in update_32bit_cpu_features()