lapic_intr_edge
(void) lapic_intr_edge(vlapic->vm, i, vec);
(void) lapic_intr_edge(vlapic->vm, vlapic->vcpuid, vec);
error = lapic_intr_edge(sc->vmm_vm, vmirq.cpuid, vmirq.vector);