#ifndef _DARLING_EMULATION_BSDTHREAD_BSDTHREAD_CTL_H
#define _DARLING_EMULATION_BSDTHREAD_BSDTHREAD_CTL_H

long sys_bsdthread_ctl(long command, void* arg1, void* arg2, void* arg3);

#endif // _DARLING_EMULATION_BSDTHREAD_BSDTHREAD_CTL_H