diff options
Diffstat (limited to 'pk/usermem.h')
-rw-r--r-- | pk/usermem.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pk/usermem.h b/pk/usermem.h new file mode 100644 index 0000000..3cb3ed0 --- /dev/null +++ b/pk/usermem.h @@ -0,0 +1,14 @@ +// 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 |