#include "stdio_impl.h" #include "pthread_impl.h" void funlockfile(FILE *f) { if (!--f->lockcount) __unlockfile(f); }