gnumach4linux-libre/glue/mklinux.h

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);