#include "HsMsync.h"

int system_io_msync(void *ptr, size_t size, int hs_flags)
{
  /* TODO: Any need to msync in Windows? */
}