lapic_intr_msi
lapic_intr_msi(ppt->vm, pptarg->addr, pptarg->msg_data);
(void) lapic_intr_msi(vhpet->vm, vhpet->timer[n].msireg >> 32,
int lapic_intr_msi(struct vm *vm, uint64_t addr, uint64_t msg);
return (lapic_intr_msi(lease->vml_vm, addr, msg));
error = lapic_intr_msi(sc->vmm_vm, vmmsi.addr, vmmsi.msg);