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