53 |
extern rtmk_port_t syscall_thread_reply_port (void); |
extern rtmk_port_t syscall_thread_reply_port (void); |
54 |
extern kern_return_t syscall_rtmk_msg_trap (void *aux); |
extern kern_return_t syscall_rtmk_msg_trap (void *aux); |
55 |
extern kern_return_t syscall_eventcnt_wait (void *aux); |
extern kern_return_t syscall_eventcnt_wait (void *aux); |
56 |
|
extern kern_return_t syscall_port_destroy (void *aux); |
57 |
|
|
58 |
/* Table of supported system calls. */ |
/* Table of supported system calls. */ |
59 |
|
|
64 |
{ (kern_return_t (*)(void *)) &syscall_thread_self, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_thread_self, 0 }, |
65 |
{ (kern_return_t (*)(void *)) &syscall_thread_reply_port, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_thread_reply_port, 0 }, |
66 |
{ (kern_return_t (*)(void *)) &syscall_task_self, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_task_self, 0 }, |
67 |
{ (kern_return_t (*)(void *)) &syscall_eventcnt_wait, 2 } |
{ (kern_return_t (*)(void *)) &syscall_eventcnt_wait, 2 }, |
68 |
|
{ (kern_return_t (*)(void *)) &syscall_port_destroy, 2 } |
69 |
}; |
}; |
70 |
|
|
71 |
/* Number of supported system calls. */ |
/* Number of supported system calls. */ |