IPI_AST
intr_ipi_send(ci->ci_kcpuset, IPI_AST);
intr_ipi_send(l->l_cpu->ci_kcpuset, IPI_AST);
case IPI_AST:
intr_ipi_send(ci->ci_kcpuset, IPI_AST);
intr_ipi_send(l->l_cpu->ci_kcpuset, IPI_AST);
case IPI_AST:
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_AST, IPL_VM,
intr_establish_xname(IPI_AST, IPL_VM, IST_MPSAFE | IST_EDGE, pic_ipi_ast, (void *)-1, "IPI ast");
} else if (vector == ipi_vector[IPI_AST]) {
ipi = IPI_AST; /* First generic IPI. */
[IPI_AST] = IPL_HIGH,
cpu_send_ipi(ci, IPI_AST);
cpu_send_ipi(l->l_cpu, IPI_AST);
if (ipi_mask & __BIT(IPI_AST)) {
ci->ci_evcnt_per_ipi[IPI_AST].ev_count++;
[IPI_AST] = "ipi ast",
[ilog2(IPI_AST)] = e500_ipi_ast,
if (ipi & IPI_AST)
cpu_send_ipi(cpu_index(ci), IPI_AST);
cpu_send_ipi(cpu_index(l->l_cpu), IPI_AST);
if (ipi_mask & __BIT(IPI_AST)) {
ci->ci_evcnt_per_ipi[IPI_AST].ev_count++;
[IPI_AST] = "ipi ast",
cpu_send_ipi(ci, IPI_AST);
cpu_send_ipi(l->l_cpu, IPI_AST);