ICC_SGI1R_EL1_SGIID_SHIFT
irq << ICC_SGI1R_EL1_SGIID_SHIFT;
#define ICC_SGI1R_EL1_SGIID_MASK (0xfUL << ICC_SGI1R_EL1_SGIID_SHIFT)
irqid = ICC_SGI1R_EL1_SGIID_VAL(rval) >> ICC_SGI1R_EL1_SGIID_SHIFT;