#include "HsMsync.h"

#include <sys/mman.h>

int system_io_msync(void *ptr, size_t size, int hs_flags)
{
}