/* * sys___msync13: the msync system call (a front-end for flush) */