#include #include "syscall.h" #include "libc.h" int close(int fd) { int ret = syscall(SYS_close, fd); CANCELPT_BEGIN; CANCELPT_END; return ret; }