#include "HsMsync.h" #include <sys/mman.h> int system_io_msync(void *ptr, size_t size, int hs_flags) { }