#include #include "syscall.h" int fdatasync(int fd) { return syscall_cp(SYS_fdatasync, fd); } #ifdef TEST int main(void) { return 0; } #endif