#ifndef ICQ_MANAGER_H
#define ICQ_MANAGER_H

#include <inttypes.h>
#include "system.h"

#include "icq_task.h"
#include "icq_queue.h"
#include "icq_configuration.h"


typedef struct 
{
	icq_task_t*			task;
	icq_task_t* 		intercore_tasks[CONFIGURE_ICQ_MAXIMUM_INTERCORETASKS];
	uint32_t 			intercore_task_counter;
}icq_manager_t;


void icq_manager_init(uint32_t period, uint32_t cpu);


#endif