IPI_KPREEMPT
intr_ipi_send(ci->ci_kcpuset, IPI_KPREEMPT);
case IPI_KPREEMPT:
intr_ipi_send(ci->ci_kcpuset, IPI_KPREEMPT);
case IPI_KPREEMPT:
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_KPREEMPT, IPL_VM,
intr_establish_xname(IPI_KPREEMPT, IPL_VM, IST_MPSAFE | IST_EDGE, pic_ipi_kpreempt, (void *)-1, "IPI kpreempt");
[IPI_KPREEMPT] = IPL_HIGH,
cpu_send_ipi(ci, IPI_KPREEMPT);
if (ipi_mask & __BIT(IPI_KPREEMPT)) {
ci->ci_evcnt_per_ipi[IPI_KPREEMPT].ev_count++;
[IPI_KPREEMPT] = "ipi kpreempt",
[ilog2(IPI_KPREEMPT)] = e500_ipi_kpreempt,
cpu_send_ipi(cpu_index(ci), IPI_KPREEMPT);
if (ipi_mask & __BIT(IPI_KPREEMPT)) {
ci->ci_evcnt_per_ipi[IPI_KPREEMPT].ev_count++;
[IPI_KPREEMPT] = "ipi kpreempt",
cpu_send_ipi(ci, IPI_KPREEMPT);