/branches/arm/kernel/arch/arm32/src/userspace.c/userspace.c |
---|
55,6 → 55,7 |
uint32_t pc; |
} ustate_t; |
/** Changes processor mode and jumps to the address specified in the first parameter. |
* |
* @param kernel_uarg Userspace settings (entry point, stack, ...). |