VMM: Clean up per-cpu VMCS state
[akaros.git] / kern / arch / riscv / uaccess.h
1 /* Copyright (c) 2015 Google Inc
2  * Davide Libenzi <dlibenzi@google.com>
3  * See LICENSE for details.
4  *
5  * Part of this code coming from a Linux kernel file:
6  *
7  * linux/arch/x86/include/asm/uaccess.h
8  *
9  * Which, even though missing specific copyright, it is supposed to be
10  * ruled by the overall Linux copyright.
11  */
12
13 #pragma once
14
15 #include <ros/errno.h>
16 #include <compiler.h>
17 #include <stdint.h>
18 #include <umem.h>
19
20 #define ASM_STAC
21 #define ASM_CLAC
22 #define __m(x) *(x)
23
24 struct extable_ip_fixup {
25         uint64_t insn;
26         uint64_t fixup;
27 };
28
29 #define _ASM_EXTABLE(from, to)                                                                  \
30         " .pushsection \"__ex_table\",\"a\"\n"                                          \
31         " .balign 16\n"                                                                                         \
32         " .quad (" #from ") - .\n"                                                                      \
33         " .quad (" #to ") - .\n"                                                                        \
34         " .popsection\n"
35
36 static inline int __put_user(void *dst, const void *src, unsigned int count)
37 {
38 #warning "The __put_user() API is a stub and should be re-implemented"
39
40         memcpy(dst, src, count);
41
42         return 0;
43 }
44
45 static inline int copy_to_user(void *dst, const void *src, unsigned int count)
46 {
47 #warning "The copy_to_user() API is a stub and should be re-implemented"
48
49         int err = 0;
50
51         if (unlikely(!is_user_rwaddr(dst, count))) {
52                 err = -EFAULT;
53         } else {
54                 err = __put_user(dst, src, count);
55         }
56
57         return err;
58 }
59
60 static inline int __get_user(void *dst, const void *src, unsigned int count)
61 {
62 #warning "The __get_user() API is a stub and should be re-implemented"
63
64         memcpy(dst, src, count);
65
66         return 0;
67 }
68
69 static inline int copy_from_user(void *dst, const void *src,
70                                                                  unsigned int count)
71 {
72 #warning "The copy_from_user() API is a stub and should be re-implemented"
73
74         int err = 0;
75
76         if (unlikely(!is_user_raddr((void *) src, count))) {
77                 err = -EFAULT;
78         } else {
79                 err = __get_user(dst, src, count);
80         }
81
82         return err;
83 }
84
85 static inline uintptr_t ex_insn_addr(const struct extable_ip_fixup *x)
86 {
87         return (uintptr_t) &x->insn + x->insn;
88 }
89
90 static inline uintptr_t ex_fixup_addr(const struct extable_ip_fixup *x)
91 {
92         return (uintptr_t) &x->fixup + x->fixup;
93 }