I got such errors before when I've tried to include ntddk.h and other DDK header files in VC++ file. and because I couldn't find a solution, I wrote a driver to reach the functions belong to ntdd.h...