SYS_SCXTNUM_EL0
#define SYS_SCXTNUM_EL0 sys_reg(3, 3, 13, 0, 7)
SR_TRAP(SYS_SCXTNUM_EL0, CGT_HCR_ENSCXT),
SR_FGT(SYS_SCXTNUM_EL0, HFGRTR, SCXTNUM_EL0, 1),
#define SYS_SCXTNUM_EL0 sys_reg(3, 3, 13, 0, 7)