#include <sys/types.h>
#include <sys/mman.h>
#include <fcntl.h>
#include <unistd.h>
#include <string.h>
#include <stdio.h>
#include <stdlib.h>

#include <machine/cpufunc.h>

#include "libemm64.h"
#include "emm64_syscall.h"

int
msync64(u_int64_t addr, u_int64_t len, int flags)
{
	int ret;
	struct msync64_args ms;

	ms.addr = addr;
	ms.len = len;
	ms.flags = flags;
	printf("addr: 0x%llx, len: 0x%llx, flags: 0x%x\n", ms.addr, ms.len, ms.flags);
	ret = emm64_syscall(EMM64_MSYNC, &ms);
	return ret;
}