#include "libc.h"
#include "stdio_impl.h"

#include <zircon/compiler.h>
#include <threads.h>

static FILE* ofl_head;
static mtx_t ofl_lock;

FILE** __ofl_lock(void) __TA_ACQUIRE(ofl_lock) {
    mtx_lock(&ofl_lock);
    return &ofl_head;
}

void __ofl_unlock(void) __TA_RELEASE(ofl_lock) {
    mtx_unlock(&ofl_lock);
}