SYS_TCR_EL1
SR_FGT(SYS_TCR_EL1, HFGRTR, TCR_EL1, 1),
SR_TRAP(SYS_TCR_EL1, CGT_HCR_TVM_TRVM),
#define SYS_TCR_EL1 sys_reg(3, 0, 2, 0, 2)