#ifndef _TDI_PCH_
#define _TDI_PCH_

#include <wdm.h>
#include <tdikrnl.h>

#endif /* _TDI_PCH_ */