K_INT_MBOX_3
[K_INT_MBOX_3] = "mbox3",
for (int irq = K_INT_MBOX_0; irq <= K_INT_MBOX_3; irq++)
#define M_INT_MBOX_3 _SB_MAKEMASK1(K_INT_MBOX_3)
[K_INT_MBOX_3] = "mbox3",
for (int irq = K_INT_MBOX_0; irq <= K_INT_MBOX_3; irq++)