Symbol: ppb_hotplug_insert_finish
sys/dev/pci/ppb.c
124
void ppb_hotplug_insert_finish(void *);
sys/dev/pci/ppb.c
221
timeout_set(&sc->sc_to, ppb_hotplug_insert_finish, sc);