#ifndef _JOVE_UMODE_VMA_H
#define _JOVE_UMODE_VMA_H 1

#include <stdbool.h>
#include <stddef.h>

int user_vma_read(void *dest, const void *src, size_t w);
int user_vma_write(void *dest, const void *src, size_t w);

#endif