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; }