请教：关于WinDriver中pci9054的例子

        我现在要用WinDriver开发pci9054的驱动程序，我看了它给的那个例子，对于WinDriver的概念我有点不是很清楚，因此看例子的时候有些疑问
    在那个例子中，是不是只有windrvr.h文件中的函数是工作在内核模式下的，其他像wdc_lib.h  plx_lib.h   plx_diag_lib.h   wdc_diag_lib.h 这些文件中的函数是不是都是工作在用户模式下的？
    刚刚开始接触驱动，希望大家指教~~~谢谢