1#include "libc.h"
2#include "stdio_impl.h"
3
4#include <zircon/compiler.h>
5#include <threads.h>
6
7static FILE* ofl_head;
8static mtx_t ofl_lock;
9
10FILE** __ofl_lock(void) __TA_ACQUIRE(ofl_lock) {
11    mtx_lock(&ofl_lock);
12    return &ofl_head;
13}
14
15void __ofl_unlock(void) __TA_RELEASE(ofl_lock) {
16    mtx_unlock(&ofl_lock);
17}
18