goto cleanup;
}
- task_prepare(proc->p_tasks, (u32_t)pdbr, (u32_t)foo, (u32_t)kstack, (u32_t)ustack + PAGE_SIZE, 3);
+ task_prepare(proc->p_tasks, (u32_t)pdbr, (u32_t)foo,
+ (u32_t)kstack, (u32_t)ustack + PAGE_SIZE, 3);
- proc->p_tasks->t_sp = (u32_t)(CONFIG_KERNEL_STACK_BASE + ((u32_t)proc->p_tasks->t_sp - (u32_t)kstack));
- dbg_printf("ESP0 = 0x%08x\n", proc->p_tasks->t_sp);
+ proc->p_tasks->t_sp = (u32_t)(CONFIG_KERNEL_STACK_BASE +
+ ((u32_t)proc->p_tasks->t_sp - (u32_t)kstack));
}
cleanup: