#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;
    uint64_t rsp[3];
    uint64_t resv1;
    uint64_t ist[8];
    uint64_t resv2;
    uint16_t resv3;
    uint16_t iobp;
};

#endif