SYS_ICC_ASGI1R_EL1
#define SYS_ICC_ASGI1R_EL1 sys_reg(3, 0, 12, 11, 6)
SR_TRAP(SYS_ICC_ASGI1R_EL1, CGT_HCR_IMO_FMO_ICH_HCR_TC),