void tcb_init(
task_control_block *tcb, mem_address stack_pointer, int priority)
{
tcb_reset(tcb);
tcb->stack_pointer = stack_pointer;
tcb->priority = priority;
}
void tcb_list_reset(task_control_block tcb_list[], int length)
{
int i;
/* reset all elements of the list */
for (i = 0; i < length; i++)
{
tcb_reset(&tcb_list[i]);
}
}