Lines Matching refs:A64SysReg_CNTHCTL_EL2
637 A64SysReg_CNTHCTL_EL2 = 0xe708, // 11 100 1110 0001 000
