b4d40e44 ^
1 2 3 4 5 6 7
#include "pthread_impl.h" int pthread_condattr_getclock(const pthread_condattr_t *a, clockid_t *clk) { *clk = *a & 0x7fffffff; return 0; }