Lines Matching refs:A64SysReg_ICH_HCR_EL2
925 A64SysReg_ICH_HCR_EL2 = 0xe658, // 11 100 1100 1011 000