PCI_MSI_MADDR
pci_conf_write(pc, tag, off + PCI_MSI_MADDR,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR, addr);
pcs->msi_maddr = pci_conf_read(pc, tag, off + PCI_MSI_MADDR);
pci_conf_write(pc, tag, off + PCI_MSI_MADDR, pcs->msi_maddr);