13 #ifndef SOFTWARE_INCLUDE_TASK_MIGRATION_TASK_MIGRATION_H_ 14 #define SOFTWARE_INCLUDE_TASK_MIGRATION_TASK_MIGRATION_H_ 16 #include "../../include/kernel_pkg.h" This module defines function relative to task control block (TCB) The TCB structure is defined...
This structure stores information of the user's task that are running into each slave processor...
Definition: task_control.h:26
void migrate_dynamic_memory(TCB *)
Definition: task_migration.c:51
int handle_migration(volatile ServiceHeader *, unsigned int)
Definition: task_migration.c:496
This module defines the ServiceHeader structure. This structure is used by all software components to...