Lines Matching refs:A64SysReg_ID_MMFR4_EL1
339 A64SysReg_ID_MMFR4_EL1 = 0xc016, // 11 000 0000 0010 110
