INTERRUPT_ID_BITS_ITS
return 1U << min(nr_idbits, INTERRUPT_ID_BITS_ITS);
value |= (INTERRUPT_ID_BITS_ITS - 1) << 19;
#define VGIC_LPI_MAX_INTID ((1 << INTERRUPT_ID_BITS_ITS) - 1)