12345678#ifndef _TDI_PCH_#define _TDI_PCH_ #include <wdm.h>#include <tdikrnl.h> #endif /* _TDI_PCH_ */