Lines Matching defs:vmm_ipinum
213 static int vmm_ipinum;
214 SYSCTL_INT(_hw_vmm, OID_AUTO, ipinum, CTLFLAG_RD, &vmm_ipinum, 0,
326 vmm_ipinum = vmm_ipi_alloc();
327 if (vmm_ipinum == 0)
328 vmm_ipinum = IPI_AST;
343 return (VMM_INIT(vmm_ipinum));
365 if (vmm_ipinum != IPI_AST)
366 vmm_ipi_free(vmm_ipinum);
2249 vmm_ipinum);
2251 ipi_cpu(hostcpu, vmm_ipinum);