SYS_CNTHV_TVAL_EL2
#define SYS_CNTHV_TVAL_EL2 sys_reg(3, 4, 14, 3, 0)
SR_RANGE_TRAP(SYS_CNTHV_TVAL_EL2,