Searched refs:vmm_ipinum (Results 1 – 1 of 1) sorted by relevance
222 static int vmm_ipinum; variable223 SYSCTL_INT(_hw_vmm, OID_AUTO, ipinum, CTLFLAG_RD, &vmm_ipinum, 0,332 vmm_ipinum = vmm_ipi_alloc(); in vmm_init()333 if (vmm_ipinum == 0) in vmm_init()334 vmm_ipinum = IPI_AST; in vmm_init()349 return (VMM_INIT(vmm_ipinum)); in vmm_init()369 if (vmm_ipinum != IPI_AST) in vmm_handler()370 vmm_ipi_free(vmm_ipinum); in vmm_handler()2336 vmm_ipinum); in vcpu_notify_event_locked()2338 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()