init_driver_list 40 uspace/srv/devman/driver.h extern void init_driver_list(driver_list_t *); init_driver_list 289 uspace/srv/devman/main.c init_driver_list(&drivers_list);