libpthread {
  GLIBC_PRIVATE {
    __pthread_clock_gettime; __pthread_clock_settime;
  }
}