PCI_MSI_MADDR64_HI
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_HI,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_HI,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_HI,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_HI, 0);
off + PCI_MSI_MADDR64_HI);
off + PCI_MSI_MADDR64_HI, pcs->msi_maddr64_hi);