| /branches/dynload/kernel/generic/include/interrupt.h |
|---|
| 48,8 → 48,8 |
| { \ |
| if (istate_from_uspace(istate)) { \ |
| task_t *task = TASK; \ |
| printf("Task %" PRIu64 " killed due to an exception at %p.", task->taskid, istate_get_pc(istate)); \ |
| printf(" " fmt "\n", ##__VA_ARGS__); \ |
| printf("Task %s (%" PRIu64 ") killed due to an exception at %p: ", task->name, task->taskid, istate_get_pc(istate)); \ |
| printf(fmt "\n", ##__VA_ARGS__); \ |
| task_kill(task->taskid); \ |
| thread_exit(); \ |
| } \ |
| /branches/dynload/kernel/generic/include/console/chardev.h |
|---|
| 50,7 → 50,7 |
| /** Resume pushing characters. */ |
| void (* resume)(struct chardev *); |
| /** Write character to stream. */ |
| void (* write)(struct chardev *, char c); |
| void (* write)(struct chardev *, char c, bool silent); |
| /** Read character directly from device, assume interrupts disabled. */ |
| char (* read)(struct chardev *); |
| } chardev_operations_t; |
| /branches/dynload/kernel/generic/include/console/console.h |
|---|
| 49,6 → 49,9 |
| extern count_t gets(chardev_t *chardev, char *buf, size_t buflen); |
| extern void putchar(char c); |
| extern void grab_console(void); |
| extern void release_console(void); |
| extern void arch_grab_console(void); |
| extern void arch_release_console(void); |
| /branches/dynload/kernel/generic/include/macros.h |
|---|
| 76,6 → 76,18 |
| #define STRING(arg) STRING_ARG(arg) |
| #define STRING_ARG(arg) #arg |
| /** Pseudorandom generator |
| * |
| * A pretty standard linear congruential pseudorandom |
| * number generator (m = 2^32 or 2^64 depending on architecture). |
| * |
| */ |
| #define RANDI(seed) \ |
| ({ \ |
| (seed) = 1103515245 * (seed) + 12345; \ |
| (seed); \ |
| }) |
| #endif |
| /** @} |
| /branches/dynload/kernel/generic/include/syscall/syscall.h |
|---|
| 62,6 → 62,7 |
| SYS_IPC_ANSWER_FAST, |
| SYS_IPC_ANSWER_SLOW, |
| SYS_IPC_FORWARD_FAST, |
| SYS_IPC_FORWARD_SLOW, |
| SYS_IPC_WAIT, |
| SYS_IPC_HANGUP, |
| SYS_IPC_REGISTER_IRQ, |
| 79,6 → 80,7 |
| SYS_DEBUG_PUTINT, |
| SYS_DEBUG_ENABLE_CONSOLE, |
| SYS_DEBUG_DISABLE_CONSOLE, |
| SYS_IPC_CONNECT_KBOX, |
| SYSCALL_END |
| } syscall_t; |
| /branches/dynload/kernel/generic/include/ipc/sysipc.h |
|---|
| 53,6 → 53,8 |
| int nonblocking); |
| unative_t sys_ipc_forward_fast(unative_t callid, unative_t phoneid, |
| unative_t method, unative_t arg1, unative_t arg2, int mode); |
| unative_t sys_ipc_forward_slow(unative_t callid, unative_t phoneid, |
| ipc_data_t *data, int mode); |
| unative_t sys_ipc_hangup(int phoneid); |
| unative_t sys_ipc_register_irq(inr_t inr, devno_t devno, unative_t method, |
| irq_code_t *ucode); |