Function SetKernelStack

Kernel/include/arch/x86_64/tss.h:27–29

    void InitializeTSS(tss_t* tss, void* gdt);

    inline void SetKernelStack(tss_t* tss, uint64_t stack){
        tss->rsp0 = stack;
    }
}