Symbol: pci_chipset_tag_type
sys/arch/prep/include/platform.h
72
int pci_chipset_tag_type(void);
sys/arch/prep/pci/pci_machdep.c
122
i = pci_chipset_tag_type();