Rev 3149 | Rev 3153 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3149 | Rev 3150 | ||
|---|---|---|---|
| Line 91... | Line 91... | ||
| 91 | } |
91 | } |
| 92 | 92 | ||
| 93 | /** Print a hex integer into klog */ |
93 | /** Print a hex integer into klog */ |
| 94 | static unative_t sys_debug_putint(unative_t i) |
94 | static unative_t sys_debug_putint(unative_t i) |
| 95 | { |
95 | { |
| 96 | klog_printf("[task:0x%x]", i); |
96 | printf("[task:0x%x]", i); |
| 97 | return 0; |
97 | return 0; |
| 98 | } |
98 | } |
| 99 | 99 | ||
| 100 | /** Dispatch system call */ |
100 | /** Dispatch system call */ |
| 101 | unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, |
101 | unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, |