* kernel/devices/sys/devproc.c: misc