#include <__stdio.h> #include #include void funlockfile(struct __FILE *file) { LIBC_UNLOCK(file->lock); }