PCI_MSIX_TBL_OFFSET
{ PCI_MSIX_TBL_OFFSET, 4, "table", "Table Offset",
PCI_MSIX_TBL_OFFSET);
tbl_offset = pci_config_get32(handle, offset + PCI_MSIX_TBL_OFFSET);
tbl_offset = pci_config_get32(handle, offset + PCI_MSIX_TBL_OFFSET);
PCI_MSIX_TBL_OFFSET);
off = pci_config_get32(ppt->pptd_cfg, base + PCI_MSIX_TBL_OFFSET);