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