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);