//includes.h

#include  <io8515v.h>

#include "OS_CPU.H"
#include "OS_CFG.H"
#include "os-task-switch.h"

/*test_funcs.c*/
void TC2_Init (void);
void task1(void *pdata);
void task2(void *pdata);
void task3(void *pdata);

OS_EXT OS_TCB tcb_task1,tcb_task2,tcb_task3;
OS_EXT OS_STK stk_task1[OS_TASK_STACK_SIZE],
              stk_task2[OS_TASK_STACK_SIZE],
			  stk_task3[OS_TASK_STACK_SIZE];