kernel/generic/src/debug/util.h uspace/app/bdsh/util.h uspace/app/tester/util.h uspace/srv/devman/util.h