# include "pantasks.h"

/* this mutex is used by the serialized threads */

static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

void SerialThreadLock () {
    pthread_mutex_lock (&mutex);
}

void SerialThreadUnlock () {
    pthread_mutex_unlock (&mutex);
}

