1 /* SYSTEM STRUCTURES ******************************************************/
3 #include <ddk/cfgtypes.h>
4 #include <ddk/ketypes.h>
5 #include <ddk/obtypes.h>
6 #include <ddk/mmtypes.h>
7 #include <ddk/iotypes.h>
8 #include <ddk/extypes.h>
9 #include <ddk/pstypes.h>