[rpi3] Fix SMP build for FreeBSD/arm64

This commit is contained in:
Oleksandr Tymoshenko 2016-11-24 00:39:17 +00:00
parent 0535a446ab
commit 0f04f5deaa

View File

@ -362,7 +362,11 @@ bcm_lintc_ipi_dispatch(struct bcm_lintc_softc *sc, u_int cpu,
* and make sure that it's observed by everybody. * and make sure that it's observed by everybody.
*/ */
bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi); bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi);
#if defined(__aarch64__)
dsb(sy);
#else
dsb(); dsb();
#endif
intr_ipi_dispatch(ipi, tf); intr_ipi_dispatch(ipi, tf);
} }
} }