path: root/include/asm/system.h

#include <kernel/sched.h>

volatile void switch_to(struct task_struct*, struct task_state*);