; ??? -*- Scheme -*- ; Copyright 1999, 2000, 2001 Johan Rydberg, jrydberg@opencores.org. ; ; This program is free software; you can redistribute it and/or modify ; it under the terms of the GNU General Public License as published by ; the Free Software Foundation; either version 2 of the License, or ; (at your option) any later version. ; This program is distributed in the hope that it will be useful, ; but WITHOUT ANY WARRANTY; without even the implied warranty of ; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ; GNU General Public License for more details. ; You should have received a copy of the GNU General Public License ; along with this program; if not, write to the Free Software ; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. #ifndef __std_types_defs #define __std_types_defs 1 #ifdef KERNEL_SERVER (import "task.h") (import "thread.h") #endif (define-type rtmk-port-t (c-name "rtmk_port_t") (comment "portal (send rights)") (attrs) ; attrs (native-type RTMK_MSG_TYPE_COPY_SEND) () ; array-size () () ) (define-type rtmk-port-receive-t (c-name "rtmk_port_t") (comment "port (recive rights)") (attrs) ; attrs (native-type RTMK_MSG_TYPE_MOVE_RECEIVE) () ; array-size () () ) (define-type rtmk-port-make-send-t (c-name "rtmk_port_t") (comment "port (make send rights)") (attrs) ; attrs (native-type RTMK_MSG_TYPE_MAKE_SEND) () ; array-size () () ) (define-type rtmk-port-name-t (c-name "rtmk_port_t") (comment "port (send rights)") (attrs) ; attrs (native-type RTMK_MSG_TYPE_INTEGER32) () ; array-size () () ) (define-type kern-return-t (c-name "kern_return_t") (comment "kernel return value") (attrs) ; attrs (native-type RTMK_MSG_TYPE_INTEGER32) () ; array-size () () ) (define-type vm-offset-t (c-name "vm_offset_t") (comment "FIXME") (attrs) (native-type RTMK_MSG_TYPE_INTEGER32) () () () ) (define-type vm-size-t (c-name "vm_size_t") (comment "FIXME") (attrs) (native-type RTMK_MSG_TYPE_INTEGER32) () () () ) (define-type vm-prot-t (c-name "vm_prot_t") (comment "FIXME") (attrs) (native-type RTMK_MSG_TYPE_INTEGER32) () () () ) (define-type thread-t (c-name "rtmk_port_t") (comment "port (send rights) to thread") (attrs) ; attrs (native-type RTMK_MSG_TYPE_COPY_SEND) () ; array-size #ifdef KERNEL_SERVER (encode (c-call thread_t "convert_thread_to_port")) (decode (c-call thread_t "convert_port_to_thread")) #else () () #endif ) (define-type task-t (c-name "rtmk_port_t") (comment "port (send rights) to thread") (attrs) ; attrs (native-type RTMK_MSG_TYPE_COPY_SEND) () ; array-size #ifdef KERNEL_SERVER (encode (c-call task_t "convert_task_to_port")) (decode (c-call task_t "convert_port_to_task")) #else () () #endif ) #endif /* std-types.defs */