clean_driver 564 uspace/srv/devman/driver.c clean_driver(drv); clean_driver 64 uspace/srv/devman/driver.h extern void clean_driver(driver_t *);