1 |
/* System call defintions. |
/* System call defintions. |
2 |
Copyright 1999, 2000, 2001 Johan Rydberg, jrydberg@opencores.org. |
Copyright 1999, 2000, 2001, 2002 Johan Rydberg, jrydberg@opencores.org. |
3 |
|
|
4 |
This program is free software; you can redistribute it and/or modify |
This program is free software; you can redistribute it and/or modify |
5 |
it under the terms of the GNU General Public License as published by |
it under the terms of the GNU General Public License as published by |
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 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); |
56 |
|
|
57 |
/* Table of supported system calls. */ |
/* Table of supported system calls. */ |
58 |
|
|
62 |
{ (kern_return_t (*)(void *)) &syscall_rtmk_msg_trap, 7 }, |
{ (kern_return_t (*)(void *)) &syscall_rtmk_msg_trap, 7 }, |
63 |
{ (kern_return_t (*)(void *)) &syscall_thread_self, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_thread_self, 0 }, |
64 |
{ (kern_return_t (*)(void *)) &syscall_thread_reply_port, 0 }, |
{ (kern_return_t (*)(void *)) &syscall_thread_reply_port, 0 }, |
65 |
{ (kern_return_t (*)(void *)) &syscall_task_self, 0 } |
{ (kern_return_t (*)(void *)) &syscall_task_self, 0 }, |
66 |
|
{ (kern_return_t (*)(void *)) &syscall_eventcnt_wait, 2 } |
67 |
}; |
}; |
68 |
|
|
69 |
/* Number of supported system calls. */ |
/* Number of supported system calls. */ |