#pragma once
#include "types.h"
#include "stdarg.h"

int memcpyFromUser(vaddr_t to, uaddr_t from, size_t size);