Lines Matching refs:A64SysReg_ICH_VTR_EL2
416 A64SysReg_ICH_VTR_EL2 = 0xe659, // 11 100 1100 1011 001