Lines Matching refs:A64SysReg_ICH_VSEIR_EL2
928 A64SysReg_ICH_VSEIR_EL2 = 0xe64c, // 11 100 1100 1001 100