vm_lapic_msi
vm_lapic_msi(pi->pi_vmctx, mte->addr, mte->msg_data);
vm_lapic_msi(pi->pi_vmctx, pi->pi_msi.addr,
struct vm_lapic_msi vmmsi;
int vm_lapic_msi(struct vmctx *ctx, uint64_t addr, uint64_t msg);
struct vm_lapic_msi vmmsi;