IPI_XCALL
intr_ipi_send(ci != NULL ? ci->ci_kcpuset : NULL, IPI_XCALL);
case IPI_XCALL:
intr_ipi_send(ci != NULL ? ci->ci_kcpuset : NULL, IPI_XCALL);
case IPI_XCALL:
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_XCALL, IPL_HIGH,
intr_establish_xname(IPI_XCALL, IPL_HIGH, IST_MPSAFE | IST_EDGE, pic_ipi_xcall, (void *)-1, "IPI xcall");
[IPI_XCALL] = IPL_HIGH,
(*mips_locoresw.lsw_send_ipi)(ci, IPI_XCALL);
if (ipi_mask & __BIT(IPI_XCALL)) {
ci->ci_evcnt_per_ipi[IPI_XCALL].ev_count++;
[IPI_XCALL] = "ipi xcall",
[ilog2(IPI_XCALL)] = xc_ipi_handler,
if (ipi & IPI_XCALL)
cpu_send_ipi(target, IPI_XCALL);
cpu_send_ipi(ci, IPI_XCALL);
if (ipi_mask & __BIT(IPI_XCALL)) {
ci->ci_evcnt_per_ipi[IPI_XCALL].ev_count++;
[IPI_XCALL] = "ipi xcall",
case IPI_XCALL:
cpu_send_ipi(ci->ci_cpuid, IPI_XCALL);
cpu_send_ipi(IPI_DEST_ALL, IPI_XCALL);