#include <kernel/sched.h>

volatile void switch_to(int n, struct task_struct *task);

void set_tss(unsigned int n, void *tss);
void clear_tss(unsigned int n);