1#include <sys/mman.h> 2#include "syscall.h" 3 4int msync(void *start, size_t len, int flags) 5{ 6 return syscall_cp(SYS_msync, start, len, flags); 7}