* Machine dependant task fields
*/
-#define MACHINE_TASK struct user_ldt * i386_ldt;
+#include <i386/user_ldt.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;
+
+