PCIR_MSI_ADDR_HIGH
#define PCI_MSI_ADDRESS_HI PCIR_MSI_ADDR_HIGH
pci_write_config(child, msi->msi_location + PCIR_MSI_ADDR_HIGH,
PCIR_MSI_ADDR_HIGH, address >> 32, 4);