41     uint64_t tmp1 = 0, tmp2 = 0;                      \
54     uint64_t *tmp;  in get_rsp()
69 bool verify_area(uint64_t addr_start, uint64_t length)  in verify_area()
84     uint64_t *tmp;  in get_rbp()
98     uint64_t *tmp;  in get_ds()
112     uint64_t *tmp;  in get_rax()
125     uint64_t *tmp;  in get_rbx()
132 uint64_t get_rflags()  in get_rflags()
274 static inline uint64_t copy_from_user(void *dst, void *src, uint64_t size)  in copy_from_user()
276     uint64_t tmp0, tmp1;  in copy_from_user()
277     if (!verify_area((uint64_t)src, size))  in copy_from_user()
303 static inline uint64_t copy_to_user(void *dst, void *src, uint64_t size)  in copy_to_user()
305     if (verify_area((uint64_t)src, size))  in copy_to_user()
333 static __always_inline void __write8b(uint64_t vaddr, uint64_t value)  in __write8b()
346 static __always_inline void __write4b(uint64_t vaddr, uint32_t value)  in __write4b()
359 static __always_inline uint64_t __read8b(uint64_t vaddr)  in __read8b()
361     uint64_t retval;  in __read8b()
376 static __always_inline uint32_t __read4b(uint64_t vaddr)  in __read4b()