0b44a031
aa398f56
1 2 3 4
5
6
#include "stdio_impl.h" int __stdio_close(FILE *f) { return syscall(SYS_close, f->fd); }