#define _GNU_SOURCE 1
#include <toku_pthread.h>

int toku_pthread_yield(void) {
    return pthread_yield();
}