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