IPI_AST
ipi_cpu(curcpu, IPI_AST); /* XXX vmm_ipinum? */
vmm_ipinum = IPI_AST;
if (vmm_ipinum != IPI_AST)
intr_ipi_setup(IPI_AST, "ast", ipi_ast, NULL);
intr_ipi_setup(IPI_AST, "ast", ipi_ast, NULL);
ipi_cpu(cpuid, IPI_AST);
ipi_selected(map, IPI_AST);
ipi_cpu(cpuid, IPI_AST);
ipi_cpu(cpuid, IPI_AST);
ipi_cpu(cpu, IPI_AST);
ipi_cpu(high, IPI_AST);
ipi_cpu(id, IPI_AST);
if (ipimask & (1 << IPI_AST)) {
intr_ipi_setup(IPI_AST, "ast", ipi_ast, NULL);
if (ipi_bitmap & (1 << IPI_AST)) {