#include "pthread_impl.h"

int pthread_condattr_setclock(pthread_condattr_t* a, clockid_t clk) {
    if (clk < 0 || clk - 2U < 2)
        return EINVAL;
    a->__attr &= 0x80000000;
    a->__attr |= clk;
    return 0;
}