Rev 2799 | Rev 2804 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2799 | Rev 2801 | ||
---|---|---|---|
Line 50... | Line 50... | ||
50 | #include <security/cap.h> |
50 | #include <security/cap.h> |
51 | #include <syscall/copy.h> |
51 | #include <syscall/copy.h> |
52 | #include <sysinfo/sysinfo.h> |
52 | #include <sysinfo/sysinfo.h> |
53 | #include <console/console.h> |
53 | #include <console/console.h> |
54 | #include <console/klog.h> |
54 | #include <console/klog.h> |
- | 55 | #include <udebug.h> |
|
55 | 56 | ||
56 | /** Print using kernel facility |
57 | /** Print using kernel facility |
57 | * |
58 | * |
58 | * Some simulators can print only through kernel. Userspace can use |
59 | * Some simulators can print only through kernel. Userspace can use |
59 | * this syscall to facilitate it. |
60 | * this syscall to facilitate it. |
Line 106... | Line 107... | ||
106 | thread_exit(); |
107 | thread_exit(); |
107 | } |
108 | } |
108 | 109 | ||
109 | if (THREAD->interrupted) |
110 | if (THREAD->interrupted) |
110 | thread_exit(); |
111 | thread_exit(); |
- | 112 | ||
- | 113 | udebug_syscall_event(); |
|
- | 114 | udebug_stopping_point(); |
|
111 | 115 | ||
112 | return rc; |
116 | return rc; |
113 | } |
117 | } |
114 | 118 | ||
115 | syshandler_t syscall_table[SYSCALL_END] = { |
119 | syshandler_t syscall_table[SYSCALL_END] = { |
Line 156... | Line 160... | ||
156 | /* Sysinfo syscalls */ |
160 | /* Sysinfo syscalls */ |
157 | (syshandler_t) sys_sysinfo_valid, |
161 | (syshandler_t) sys_sysinfo_valid, |
158 | (syshandler_t) sys_sysinfo_value, |
162 | (syshandler_t) sys_sysinfo_value, |
159 | 163 | ||
160 | /* Debug calls */ |
164 | /* Debug calls */ |
161 | (syshandler_t) sys_debug_enable_console |
165 | (syshandler_t) sys_debug_enable_console, |
- | 166 | ||
- | 167 | (syshandler_t) sys_ipc_connect_task |
|
162 | }; |
168 | }; |
163 | 169 | ||
164 | /** @} |
170 | /** @} |
165 | */ |
171 | */ |