mailbox0_base 152 drivers/irqchip/irq-bcm2836.c void __iomem *mailbox0_base = intc.base + LOCAL_MAILBOX0_SET0; mailbox0_base 161 drivers/irqchip/irq-bcm2836.c writel(1 << ipi, mailbox0_base + 16 * cpu);