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