SBREG_BAR
base_address64 = pci_cfgregread(0, 0, 31, 1, SBREG_BAR + 4, 4);
base_address64 |= pci_cfgregread(0, 0, 31, 1, SBREG_BAR, 4);