#include int msync(void * addr , size_t len , int flags ) { } /* XOPEN(400) POSIX(199309) */