#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
munmap64(u_int64_t addr, u_int64_t len)
{
	int ret;
	struct munmap64_args mu;

	mu.addr = addr;
	mu.len = len;
	ret = emm64_syscall(EMM64_MUNMAP, &mu);
	return ret;
}