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

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