1 2 3 4 5 6
#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);