dki.h 36 bsp/drv/dev/base/init.c #include <dki.h> dki.h 41 bsp/drv/include/ddi.h #include <dki.h> dki.h 43 bsp/drv/include/driver.h #include <dki.h>