Lines Matching refs:A64SysReg_CNTHV_TVAL_EL2
640 A64SysReg_CNTHV_TVAL_EL2 = 0xe718, // 11 100 1110 0011 000