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