Lines Matching refs:uint64_t

201 bool verify_area(uint64_t addr_start, uint64_t length)  in verify_area()
217 static inline uint64_t copy_from_user(void *dst, void *src, uint64_t size)  in copy_from_user()
219     uint64_t tmp0, tmp1;  in copy_from_user()
220     if (!verify_area((uint64_t)src, size))  in copy_from_user()
246 static inline uint64_t copy_to_user(void *dst, void *src, uint64_t size)  in copy_to_user()
248     uint64_t tmp0, tmp1;  in copy_to_user()
249     if (verify_area((uint64_t)src, size))  in copy_to_user()
275 void __experimental_beep(uint64_t times);
284 static __always_inline void __write8b(uint64_t vaddr, uint64_t value)  in __write8b()
298 static __always_inline void __write4b(uint64_t vaddr, uint32_t value)  in __write4b()
312 static __always_inline uint64_t __read8b(uint64_t vaddr)  in __read8b()
314     uint64_t retval;  in __read8b()
329 static __always_inline uint32_t __read4b(uint64_t vaddr)  in __read4b()
347 void *memmove(void *dst, const void *src, uint64_t size);