ICC_SGI1R_SGI_ID_SHIFT
irq << ICC_SGI1R_SGI_ID_SHIFT |
#define ICC_SGI1R_SGI_ID_MASK (0xfULL << ICC_SGI1R_SGI_ID_SHIFT)