#ifndef TASKING_HELPERS_H
#define TASKING_HELPERS_H
#include "tasking.h"
void switch_to_task_asm(Task* task);
#endif