task_location.h

Go to the documentation of this file.

#ifndef TASK_LOCATION_H_
#define TASK_LOCATION_H_

#include "../../include/kernel_pkg.h"

#define MAX_TASK_LOCATION (MAX_LOCAL_TASKS*MAX_TASKS_APP)

typedef struct {
 int id; 
 int proc_address; 
} TaskLocaion;

void init_task_location();

int get_task_location(int);

void add_task_location(int, int);

int remove_task_location(int);

void clear_app_tasks_locations(int);



#endif /* TASK_LOCATION_H_ */