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