RISC-V Proxy Kernel
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

14 lines
360 B

// See LICENSE for license details.
#ifndef _PK_USERMEM_H
#define _PK_USERMEM_H
#include <stdbool.h>
#include <stddef.h>
void memset_user(void* dst, int ch, size_t n);
void memcpy_to_user(void* dst, const void* src, size_t n);
void memcpy_from_user(void* dst, const void* src, size_t n);
bool strcpy_from_user(char* dst, const char* src, size_t n);
#endif