Changeset View
Changeset View
Standalone View
Standalone View
head/sys/arm64/arm64/mp_machdep.c
Show First 20 Lines • Show All 298 Lines • ▼ Show 20 Lines | |||||
/* | /* | ||||
* Send IPI thru interrupt controller. | * Send IPI thru interrupt controller. | ||||
*/ | */ | ||||
static void | static void | ||||
pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) | pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) | ||||
{ | { | ||||
KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__)); | KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__)); | ||||
/* | |||||
* Ensure that this CPU's stores will be visible to IPI | |||||
* recipients before starting to send the interrupts. | |||||
*/ | |||||
dsb(ishst); | |||||
PIC_IPI_SEND(intr_irq_root_dev, arg, cpus, ipi); | PIC_IPI_SEND(intr_irq_root_dev, arg, cpus, ipi); | ||||
} | } | ||||
/* | /* | ||||
* Setup IPI handler on interrupt controller. | * Setup IPI handler on interrupt controller. | ||||
* | * | ||||
* Not SMP coherent. | * Not SMP coherent. | ||||
*/ | */ | ||||
▲ Show 20 Lines • Show All 575 Lines • Show Last 20 Lines |