40 static inline void io_write64(vaddr_t addr, uint64_t val)  in io_write64()
42 	*(volatile uint64_t *)addr = val;  in io_write64()
60 static inline uint64_t io_read64(vaddr_t addr)  in io_read64()
62 	return *(volatile uint64_t *)addr;  in io_read64()
80 static inline uint64_t get_be64(const void *p)  in get_be64()
82 	return TEE_U64_FROM_BIG_ENDIAN(*(const uint64_t *)p);  in get_be64()
85 static inline void put_be64(void *p, uint64_t val)  in put_be64()
87 	*(uint64_t *)p = TEE_U64_TO_BIG_ENDIAN(val);  in put_be64()
120 static inline void put_le64(const void *p, uint64_t val)  in put_le64()
122 	 *(uint64_t *)p = val;  in put_le64()
125 static inline uint64_t get_le64(const void *p)  in get_le64()
127 	return *(const uint64_t *)p;  in get_le64()
134 struct __unaligned_u64_t { uint64_t x; } __packed;
136 static inline uint64_t get_unaligned_be64(const void *p)  in get_unaligned_be64()
143 static inline void put_unaligned_be64(void *p, uint64_t val)  in put_unaligned_be64()
178 static inline void put_unaligned_le64(void *p, uint64_t val)  in put_unaligned_le64()
185 static inline uint64_t get_unaligned_le64(const void *p)  in get_unaligned_le64()
291 		uint64_t __timeout = timeout_init_us(_timeout_us); \