#ifndef _KERNEL_AMD64_TSS_H
#define _KERNEL_AMD64_TSS_H

#include <aux/compiler.h>
#include <libk/std.h>

struct tss {
  uint32_t resv0;
  uint64_t rsp0;
  uint64_t rsp1;
  uint64_t rsp2;
  uint64_t resv1;
  uint64_t ist[7];
  uint64_t resv2;
  uint16_t resv3;
  uint16_t iopb_off;
} PACKED;

volatile struct tss* amd64_get_tss (void);

#endif // _KERNEL_AMD64_TSS_H