bebox_pci_get_chipset_tag
bebox_pci_get_chipset_tag(genppc_pct);
void bebox_pci_get_chipset_tag(pci_chipset_tag_t);