#ifndef KERNELMQ_INCLUDED_TASKS
#define KERNELMQ_INCLUDED_TASKS 1

void tasks_switch_to_user(unsigned long addr);

#endif