#include #include "syscall.h" int fdatasync(int fd) { return 0; }