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