Symbol: ppb_hotplug_remove
sys/dev/pci/ppb.c
126
void ppb_hotplug_remove(void *);
sys/dev/pci/ppb.c
220
task_set(&sc->sc_remove_task, ppb_hotplug_remove, sc);