#ifndef __HSMSYNC_H_
#define __HSMSYNC_H_

#include <stdlib.h>

int system_io_msync(void *, size_t, int hs_flags);

#endif