请大家帮我解答一个最简单的问题？

我是一个驱动程序的初学者，以前我曾学习过VC下应用程序的编程。

不禁产生了如下疑问，请高手能给我解答解答：

（1）在做应用程序编程式，我们使用的Win32 API，它们是在系统的动态连接库中实现的。

    比如kernrl32.dll，user32.dll，advapi32.dll等等。

（2）于是我在想，现在用DDK开发驱动程序，我使用的函数又是在哪力实现的呢？

     比如我们用的IoCreateDevice，IoCompleteRequest等等。

请大家可以帮我解答这个问题。非常感谢大家。

ntoskrnl.exe, hal.dll.你用depends工具看一下就清楚了。

谢谢你啊。

我想问，我在DDK的目录底下找到了ntoskrnl.lib的文件。

这是不是就是ntoskrnl.exe的引入库文件呢？

就像在编写应用程序时，kernrl32.lib是kernrl32.dll的引入库一样。

如果是的话，那我在使用ntoskrnl.exe中的函数时，编译的时侯是不是要包含

这个引入库ntoskrnl.lib呢？

可是我没找到在哪里有包含这个引入库啊？

能给我解答解答吗。

Ntoskrnl.exe, ntkrnlpa.exe,Win32k.sys, Hal.dll, Ntdll.dll, kernel32.dll.