+ (int) &df_task_stack_end - 4, /* esp */
+ 0, /* ebp */
+ 0, /* esi */
+ 0, /* edi */
+ KERNEL_DS, /* es */
+ KERNEL32_CS, /* cs */
+ KERNEL_DS, /* ss */
+ KERNEL_DS, /* ds */
+ KERNEL_DS, /* fs */
+ CPU_DATA_GS, /* gs */
+ KERNEL_LDT, /* ldt */
+ 0, /* trace_trap */
+ 0x0FFF /* IO bitmap offset -
+ beyond end of TSS segment,
+ so no bitmap */
+};
+
+
+/*
+ * Task structure for machine_check handler:
+ */
+struct i386_tss master_mctss
+ __attribute__ ((section ("__DESC, master_mctss")))
+ __attribute__ ((aligned (4096))) = {
+ 0, /* back link */
+ (int) &mc_task_stack_end - 4, /* esp0 */
+ KERNEL_DS, /* ss0 */
+ 0, /* esp1 */
+ 0, /* ss1 */
+ 0, /* esp2 */
+ 0, /* ss2 */
+ (int) IdlePDPT, /* cr3 */
+ (int) &mc_task_start, /* eip */
+ 0, /* eflags */
+ 0, /* eax */
+ 0, /* ecx */
+ 0, /* edx */
+ 0, /* ebx */
+ (int) &mc_task_stack_end - 4, /* esp */