/* ISC license. */

#include <time.h>
#include <pthread.h>

int main (void)
{
  pthread_mutex_t mtx = PTHREAD_MUTEX_INITIALIZER ;
  struct timespec ts = { .tv_sec = 0, .tv_nsec = 1 } ;
  return pthread_mutex_clocklock(&mtx, CLOCK_MONOTONIC, &ts) ;
}