int pthread_threadid_np(pthread_t arg0, ffi.Pointer<__uint64_t> arg1) { return _pthread_threadid_np(arg0, arg1); }