*/
/*
- * No machine dependant task fields
+ * Machine dependant task fields
*/
-#define MACHINE_TASK
+#include <i386/user_ldt.h>
+#include <i386/fpu.h>
+
+#define MACHINE_TASK \
+ struct user_ldt * i386_ldt; \
+ void* task_debug; \
+ uint64_t uexc_range_start; \
+ uint64_t uexc_range_size; \
+ uint64_t uexc_handler; \
+ xstate_t xstate;
+