1 #ifndef _TDI_PCH_ 2 #define _TDI_PCH_ 3 4 #include <wdm.h> 5 #include <tdikrnl.h> 6 7 #endif /* _TDI_PCH_ */ 8