#ifndef FROSTBYTE_TSS_H
#define FROSTBYTE_TSS_H

#include "types.h"

void tssInit(uint64 rsp0);
void tssSetRsp0(uint64 rsp0);

#endif