51 |
extern rtmk_port_t syscall_task_self (void); |
extern rtmk_port_t syscall_task_self (void); |
52 |
extern rtmk_port_t syscall_thread_self (void); |
extern rtmk_port_t syscall_thread_self (void); |
53 |
extern rtmk_port_t syscall_thread_reply_port (void); |
extern rtmk_port_t syscall_thread_reply_port (void); |
54 |
|
extern rtmk_port_t syscall_host_self (void); |
55 |
extern kern_return_t syscall_rtmk_msg_trap (void *aux); |
extern kern_return_t syscall_rtmk_msg_trap (void *aux); |
56 |
extern kern_return_t syscall_eventcnt_wait (void *aux); |
extern kern_return_t syscall_eventcnt_wait (void *aux); |
57 |
extern kern_return_t syscall_port_destroy (void *aux); |
extern kern_return_t syscall_port_destroy (void *aux); |
58 |
|
extern kern_return_t syscall_port_deallocate (void *aux); |
59 |
|
|
60 |
/* Table of supported system calls. */ |
/* Table of supported system calls. */ |
61 |
|
|
67 |
{ (kern_return_t (*)(void *)) &syscall_thread_reply_port, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_thread_reply_port, 0 }, |
68 |
{ (kern_return_t (*)(void *)) &syscall_task_self, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_task_self, 0 }, |
69 |
{ (kern_return_t (*)(void *)) &syscall_eventcnt_wait, 2 }, |
{ (kern_return_t (*)(void *)) &syscall_eventcnt_wait, 2 }, |
70 |
{ (kern_return_t (*)(void *)) &syscall_port_destroy, 2 } |
{ (kern_return_t (*)(void *)) &syscall_port_destroy, 2 }, |
71 |
|
{ (kern_return_t (*)(void *)) &syscall_host_self, 0 }, |
72 |
|
{ (kern_return_t (*)(void *)) &syscall_port_deallocate, 2 } |
73 |
}; |
}; |
74 |
|
|
75 |
/* Number of supported system calls. */ |
/* Number of supported system calls. */ |