#include <stdlib.h>

#include "vx32.h"

int vxmem_resize(vxmem *mem, size_t newsize)
{
	if(mem->resize == 0)
		abort();
	return mem->resize(mem, newsize);
}

int vxmem_read(vxmem *mem, void *data, uint32_t addr, uint32_t len)
{
	if(mem->read == 0)
		abort();
	return mem->read(mem, data, addr, len);
}

int vxmem_write(vxmem *mem, const void *data, uint32_t addr, uint32_t len)
{
	if(mem->write == 0)
		abort();
	return mem->write(mem, data, addr, len);
}

vxmmap *vxmem_map(vxmem *mem, uint32_t flags)
{
	if(mem->map == 0)
		abort();
	return mem->map(mem, flags);
}

void vxmem_unmap(vxmem *mem, vxmmap *m)
{
	if(mem->unmap == 0)
		abort();
	mem->unmap(mem, m);
}

int vxmem_checkperm(vxmem *mem, uint32_t addr, uint32_t len,
	uint32_t perm, uint32_t *out_faultva)
{
	if(mem->checkperm == 0)
		abort();
	return mem->checkperm(mem, addr, len, perm, out_faultva);
}

int vxmem_setperm(vxmem *mem, uint32_t addr, uint32_t len, uint32_t perm)
{
	if(mem->setperm == 0)
		abort();
	return mem->setperm(mem, addr, len, perm);
}

void vxmem_free(vxmem *mem)
{
	if(mem == 0)
		return;
	if(mem->free == 0)
		abort();
	mem->free(mem);
}