#ifndef KERNEL_INCLUDED_TASKS
#define KERNEL_INCLUDED_TASKS 1

void tasks_switch_to_user(unsigned long base);

#endif