x86_get_double_fault_stack
void* x86_get_double_fault_stack(int32 cpu, size_t* _size);
addr_t bottom = (addr_t)x86_get_double_fault_stack(cpu, &size);
tss->sp0 = (addr_t)x86_get_double_fault_stack(cpuNum, &stackSize);
tss->ist1 = (addr_t)x86_get_double_fault_stack(cpu, &stackSize);
addr_t bottom = (addr_t)x86_get_double_fault_stack(cpu, &size);