/* The ASYNC means that we schedule the msync and return immediately.
Since we want to see if the modification time is updated upon
msync(), we have to make sure that our asynchronous request
completes before we stat below. In a real application, the
request would be completed at a random time in the future
but for this test we do not want to wait an arbitrary amount of
/* The ASYNC means that we schedule the msync and return immediately.
Since we want to see if the modification time is updated upon
msync(), we have to make sure that our asynchronous request
completes before we stat below. In a real application, the
request would be completed at a random time in the future
but for this test we do not want to wait an arbitrary amount of