SYS_VBAR_EL1
#define SYS_VBAR_EL1 sys_reg(3, 0, 12, 0, 0)
SR_TRAP(SYS_VBAR_EL1, CGT_HCR_NV1_nNV2),
SR_FGT(SYS_VBAR_EL1, HFGRTR, VBAR_EL1, 1),