#pragma once #include "types.h" #include "stddef.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);