Symbol: BCM_LINTC_MBOX0_CLR_REG
sys/arm/broadcom/bcm2835/bcm2836.c
351
mask = bcm_lintc_read_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu));
sys/arm/broadcom/bcm2835/bcm2836.c
364
bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi);