SYS_CNTP_TVAL_EL0
#define SYS_CNTP_TVAL_EL0 sys_reg(3, 3, 14, 2, 0)
SR_TRAP(SYS_CNTP_TVAL_EL0, CGT_CNTHCTL_EL1PTEN),