#include "tss.h"

using namespace Genode;

extern char kernel_stack[];

void Tss::setup(addr_t const virt_base)
{
	this->rsp0 = (addr_t)kernel_stack;
	this->rsp1 = (addr_t)kernel_stack;
	this->rsp2 = (addr_t)kernel_stack;
}


void Tss::load()
{
	asm volatile ("ltr %w0" : : "r" (TSS_SELECTOR));
}