int clock_getcpuclockid( int __pid, ffi.Pointer<clockid_t> __clock_id, ) { return _clock_getcpuclockid( __pid, __clock_id, ); }