+#include "ntos/dbgfuncs.h"
+#include "ntos/service.h"
+#include "ntos/haltypes.h"
+#include "ntos/halfuncs.h"
+#include "ntos/kdfuncs.h"
+#include "ntos/kefuncs.h" /* AG */
+#include "ntos/fstypes.h" /* AG */
+#include "ntos/obtypes.h"
+#include "ntos/tss.h"
+#include "rosrtl/thread.h"