SYS_ICC_HPPIR1_EL1
#define SYS_ICC_HPPIR1_EL1 sys_reg(3, 0, 12, 12, 2)
SR_TRAP(SYS_ICC_HPPIR1_EL1, CGT_ICH_HCR_TALL1),