mbox_val          134 drivers/irqchip/irq-bcm2836.c 		u32 mbox_val = readl(mailbox0);
mbox_val          135 drivers/irqchip/irq-bcm2836.c 		u32 ipi = ffs(mbox_val) - 1;