SYS_CNTVCT_EL0
#define SYS_CNTVCT_EL0 sys_reg(3, 3, 14, 0, 2)
SR_TRAP(SYS_CNTVCT_EL0, CGT_CNTHCTL_EL1TVCT),