PCI_MSI_MADDR64_LO
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_LO,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_LO,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_LO,
pci_conf_write(pc, tag, off + PCI_MSI_MADDR64_LO, addr);