GDT_ENTRY_DOUBLEFAULT_TSS
__set_tss_desc(cpu, GDT_ENTRY_DOUBLEFAULT_TSS,
TSKG(X86_TRAP_DF, GDT_ENTRY_DOUBLEFAULT_TSS),