| /branches/dd/kernel/generic/src/main/uinit.c |
|---|
| 79,6 → 79,14 |
| uarg.uspace_thread_arg = NULL; |
| free((uspace_arg_t *) arg); |
| /* |
| * Disable interrupts so that the execution of userspace() is not |
| * disturbed by any interrupts as some of the userspace() |
| * implementations will switch to the userspace stack before switching |
| * the mode. |
| */ |
| (void) interrupts_disable(); |
| userspace(&uarg); |
| } |
| /branches/dd/kernel/generic/src/printf/printf_core.c |
|---|
| 302,9 → 302,6 |
| if (str == NULL) |
| return printf_putstr(nullstr, ps); |
| if (*str == U_BOM) |
| str++; |
| /* Print leading spaces. */ |
| size_t strw = wstr_length(str); |
| if (precision == 0) |