SYS_CNTV_TVAL_EL0
#define SYS_CNTV_TVAL_EL0 sys_reg(3, 3, 14, 3, 0)
SR_TRAP(SYS_CNTV_TVAL_EL0, CGT_CNTHCTL_EL1TVT),