Searched refs:mailbox0_base (Results 1 – 1 of 1) sorted by relevance
187 void __iomem *mailbox0_base = intc.base + LOCAL_MAILBOX0_SET0; in bcm2836_arm_irqchip_send_ipi() local196 writel(1 << ipi, mailbox0_base + 16 * cpu); in bcm2836_arm_irqchip_send_ipi()