#include <amd64/tss.h>
#include <libk/std.h>

__attribute__ ((aligned (16))) static volatile struct tss tss;

volatile struct tss* amd64_get_tss (void) { return &tss; }