DOUBLE_FAULT_TSS_SEGMENT
set_tss_descriptor(&gGDTs[cpuNum][DOUBLE_FAULT_TSS_SEGMENT], (addr_t)tss,
set_task_gate(cpuNum, 8, DOUBLE_FAULT_TSS_SEGMENT << 3);