path: root/include/asm/system.h

#include <kernel/sched.h>

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

void invlpg(void*);

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