Functions | |
void | mars_module_main (void) |
[MPU] Entry point for workload module. | |
uint32_t | mars_module_get_ticks (void) |
[MPU] Gets tick counter value. | |
uint64_t | mars_module_get_mars_context_ea (void) |
[MPU] Gets ea of MARS context. | |
uint32_t | mars_module_get_kernel_id (void) |
[MPU] Gets id of kernel that the module is being executed on. | |
uint16_t | mars_module_get_workload_id (void) |
[MPU] Gets id of current workload context. | |
struct mars_workload_context * | mars_module_get_workload (void) |
[MPU] Gets pointer to current workload context. | |
struct mars_workload_context * | mars_module_get_workload_by_id (uint16_t id) |
[MPU] Gets pointer to workload context specified by id. | |
int | mars_module_workload_is_initialized (uint16_t id) |
[MPU] Returns whether or not specified workload is initialized. | |
int | mars_module_workload_is_ready (uint16_t id) |
[MPU] Returns whether or not specified workload is ready. | |
int | mars_module_workload_is_waiting (uint16_t id) |
[MPU] Returns whether or not specified workload is waiting. | |
int | mars_module_workload_is_running (uint16_t id) |
[MPU] Returns whether or not specified workload is running. | |
int | mars_module_workload_is_finished (uint16_t id) |
[MPU] Returns whether or not specified workload is finished. | |
int | mars_module_workload_is_signal_set (uint16_t id) |
[MPU] Returns whether or not specified workload has signal set. | |
int | mars_module_workload_wait_set (uint16_t id) |
[MPU] Sets calling workload to wait for completion of specified workload. | |
int | mars_module_workload_wait_reset (void) |
[MPU] Sets calling workload to not wait for completion of any workloads. | |
int | mars_module_workload_signal_set (uint16_t id) |
[MPU] Sets signal for specified workload. | |
int | mars_module_workload_signal_reset (void) |
[MPU] Resets signal for specified workload. | |
int | mars_module_workload_schedule_begin (uint16_t id, uint8_t priority, struct mars_workload_context **workload) |
[MPU] Begins scheduling of specified workload. | |
int | mars_module_workload_schedule_end (uint16_t id) |
[MPU] Ends scheduling of specified workload. | |
int | mars_module_workload_schedule_cancel (uint16_t id) |
[MPU] Cancels scheduling of specified workload. | |
void | mars_module_workload_wait (void) |
[MPU] Returns execution to kernel with workload in wait state. | |
void | mars_module_workload_yield (void) |
[MPU] Returns execution to kernel with workload in ready state. | |
void | mars_module_workload_finish (void) |
[MPU] Returns execution to kernel with workload in finished state. |