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, |