#ifndef JOVE_ARCH_x86_64_TSS_H
#define JOVE_ARCH_x86_64_TSS_H 1

#include <stddef.h>
#include <stdint.h>

struct TSS
{
    uint32_t resv0;
    uint32_t rsp[3][2];
    uint64_t resv1;
    uint32_t ist[8][2];
    uint64_t resv2;
    uint16_t resv3;
    uint16_t iobp;
};

void tss_set_rsp(struct TSS *tss, uint8_t dpl, uintptr_t rsp);

#endif