/* syscall: "__msync13" ret: "int" args: "void *" "size_t" "int" */