#include #include "syscall.h" #include "libc.h" ssize_t write(int fd, const void *buf, size_t count) { int r; CANCELPT_BEGIN; r = syscall(SYS_write, fd, buf, count); CANCELPT_END; return r; }