Symbol: ataripcibusprint
sys/arch/atari/pci/pci_machdep.c
124
int ataripcibusprint(void *, const char *);
sys/arch/atari/pci/pci_machdep.c
202
config_found(self, &pba, ataripcibusprint, CFARGS_NONE);