device.h   44 bsp/drv/include/dki.h #include <sys/device.h>
device.h   42 bsp/drv/include/driver.h #include <sys/device.h>
device.h   36 include/sys/sysinfo.h #include <sys/device.h>
device.h   35 sys/include/device.h #include <sys/device.h>
device.h   53 sys/kern/device.c #include <device.h>
device.h   45 sys/kern/main.c #include <device.h>
device.h   41 sys/kern/sysent.c #include <device.h>
device.h   41 sys/kern/system.c #include <device.h>
device.h   35 usr/server/fs/devfs/devfs_vnops.c #include <sys/device.h>