#include "src/kernel/tss.h"

tss_t tss = {
    .iopb_offset = sizeof(tss_t) // points past end of TSS = no I/O permissions
};

void tss_set_kernel_stack(void *rsp0) {
  tss.rsp0 = (uint64_t)rsp0;
}