- void* gnumach_thread_create(void* task);
- void* gnumach_task_create(void);
- void gnumach_thread_update(void);
- long gnu_mach_get_api_version(void* arg);
- long gnu_mach_task_self(void* arg);
- long gnu_mach_port_allocate(void* arg);
- long gnu_mach_msg(void* arg);
|