#include "SYS.h"
RSYSCALL(msync)