devctl.h   40 bsp/drv/dev/base/kd.c #include <devctl.h>
devctl.h   39 bsp/drv/dev/base/pm.c #include <devctl.h>
devctl.h   49 bsp/drv/dev/cpufreq/cpufreq.c #include <devctl.h>
devctl.h   36 bsp/drv/dev/video/vga.c #include <devctl.h>