ipi_cpu
ipi_cpu(curcpu, IPI_AST); /* XXX vmm_ipinum? */
ipi_cpu(hostcpu, pirvec);
ipi_cpu(hostcpu, ipinum);
void ipi_cpu(int cpu, u_int ipi);
void ipi_cpu(int cpu, u_int ipi);
ipi_cpu(hostcpu, vmm_ipinum);
ipi_cpu(cpu, IPI_HARDCLOCK);
ipi_cpu(cpu, IPI_HARDCLOCK);
ipi_cpu(cpuid, IPI_AST);
ipi_cpu(cpuid, IPI_AST);
ipi_cpu(cpuid, IPI_PREEMPT);
ipi_cpu(cpuid, IPI_AST);
ipi_cpu(cpu, IPI_AST);
ipi_cpu(cpu, IPI_PREEMPT);
ipi_cpu(ts->ts_cpu, IPI_PREEMPT);
ipi_cpu(high, IPI_AST);
ipi_cpu(id, IPI_AST);
void ipi_cpu(int cpu, u_int ipi);
void ipi_cpu(int cpu, u_int ipi);
void ipi_cpu(int cpu, u_int ipi);
ipi_cpu(cpuid, IPI_TRACE);