Symbol: print_driver_short
sys/kern/subr_bus.c
3698
print_driver_short(dev->driver, indent+1);
sys/kern/subr_bus.c
3753
print_driver_short(driver, indent);
sys/kern/subr_bus.c
76
static void print_driver_short(driver_t *driver, int indent);