MAX_SPI
volatile uint32_t irqnr_received[MAX_SPI + 1];
for (i = 0; i <= MAX_SPI; i++)
GUEST_ASSERT(intid < MAX_SPI);
int fd[MAX_SPI];
#define INTID_IS_SPI(intid) (MIN_SPI <= (intid) && (intid) <= MAX_SPI)