Searched refs:vmm_ipinum (Results 1 – 1 of 1) sorted by relevance
259 static int vmm_ipinum; variable260 SYSCTL_INT(_hw_vmm, OID_AUTO, ipinum, CTLFLAG_RD, &vmm_ipinum, 0,367 vmm_ipinum = lapic_ipi_alloc(pti ? &IDTVEC(justreturn1_pti) : in vmm_init()369 if (vmm_ipinum < 0) in vmm_init()370 vmm_ipinum = IPI_AST; in vmm_init()378 return (vmmops_modinit(vmm_ipinum)); in vmm_init()403 if (vmm_ipinum != IPI_AST) in vmm_handler()404 lapic_ipi_free(vmm_ipinum); in vmm_handler()2499 vmm_ipinum); in vcpu_notify_event_locked()2501 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()