devman_quiesce_devices 78 uspace/lib/device/include/devman.h extern errno_t devman_quiesce_devices(const char *); devman_quiesce_devices 661 uspace/srv/system/system.c rc = devman_quiesce_devices("/hw");