PCI_MSIX_CTL_TBLSIZE
return PCI_MSIX_CTL_TBLSIZE(reg);
printf(" Table Size: %d\n", PCI_MSIX_CTL_TBLSIZE(reg));