#define _GNU_SOURCE 1
#include <toku_pthread.h>

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