+
+/*
+ * Boot-time data for master (or only) CPU
+ */
+extern struct fake_descriptor master_idt[IDTSZ];
+extern struct real_descriptor master_gdt[GDTSZ];
+extern struct real_descriptor master_ldt[LDTSZ];
+extern struct i386_tss master_ktss;
+extern struct sysenter_stack master_sstk;
+
+extern struct fake_descriptor64 master_idt64[IDTSZ];
+extern struct x86_64_tss master_ktss64;
+
+__BEGIN_DECLS
+
+extern char df_task_stack[];
+extern char df_task_stack_end[];
+extern struct i386_tss master_dftss;
+extern void df_task_start(void);
+
+extern char mc_task_stack[];
+extern char mc_task_stack_end[];
+extern struct i386_tss master_mctss;
+extern void mc_task_start(void);
+
+__END_DECLS
+