Symbol: deviceinit
sys/arch/sandpoint/stand/altboot/pci.c
254
_buswalk(new, deviceinit, data);
sys/arch/sandpoint/stand/altboot/pci.c
48
static int deviceinit(int, int, int, unsigned long);
sys/arch/sandpoint/stand/altboot/pci.c
67
(void)_buswalk(0, deviceinit, 0UL);