#include <kernel/sched.h>

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