25 static inline void io_write8(vaddr_t addr, uint8_t val)  in io_write8()  argument
27 	*(volatile uint8_t *)addr = val;  in io_write8()
30 static inline void io_write16(vaddr_t addr, uint16_t val)  in io_write16()  argument
32 	*(volatile uint16_t *)addr = val;  in io_write16()
35 static inline void io_write32(vaddr_t addr, uint32_t val)  in io_write32()  argument
37 	*(volatile uint32_t *)addr = val;  in io_write32()
40 static inline void io_write64(vaddr_t addr, uint64_t val)  in io_write64()  argument
42 	*(volatile uint64_t *)addr = val;  in io_write64()
65 static inline void io_mask8(vaddr_t addr, uint8_t val, uint8_t mask)  in io_mask8()  argument
67 	io_write8(addr, (io_read8(addr) & ~mask) | (val & mask));  in io_mask8()
70 static inline void io_mask16(vaddr_t addr, uint16_t val, uint16_t mask)  in io_mask16()  argument
72 	io_write16(addr, (io_read16(addr) & ~mask) | (val & mask));  in io_mask16()
75 static inline void io_mask32(vaddr_t addr, uint32_t val, uint32_t mask)  in io_mask32()  argument
77 	io_write32(addr, (io_read32(addr) & ~mask) | (val & mask));  in io_mask32()
85 static inline void put_be64(void *p, uint64_t val)  in put_be64()  argument
87 	*(uint64_t *)p = TEE_U64_TO_BIG_ENDIAN(val);  in put_be64()
95 static inline void put_be32(void *p, uint32_t val)  in put_be32()  argument
97 	*(uint32_t *)p = TEE_U32_TO_BIG_ENDIAN(val);  in put_be32()
105 static inline void put_be16(void *p, uint16_t val)  in put_be16()  argument
107 	*(uint16_t *)p = TEE_U16_TO_BIG_ENDIAN(val);  in put_be16()
110 static inline void put_le32(const void *p, uint32_t val)  in put_le32()  argument
112 	 *(uint32_t *)p = val;  in put_le32()
120 static inline void put_le64(const void *p, uint64_t val)  in put_le64()  argument
122 	 *(uint64_t *)p = val;  in put_le64()
143 static inline void put_unaligned_be64(void *p, uint64_t val)  in put_unaligned_be64()  argument
147 	tmp->x = TEE_U64_TO_BIG_ENDIAN(val);  in put_unaligned_be64()
157 static inline void put_unaligned_be32(void *p, uint32_t val)  in put_unaligned_be32()  argument
161 	tmp->x = TEE_U32_TO_BIG_ENDIAN(val);  in put_unaligned_be32()
171 static inline void put_unaligned_be16(void *p, uint16_t val)  in put_unaligned_be16()  argument
175 	tmp->x = TEE_U16_TO_BIG_ENDIAN(val);  in put_unaligned_be16()
178 static inline void put_unaligned_le64(void *p, uint64_t val)  in put_unaligned_le64()  argument
182 	tmp->x = val;  in put_unaligned_le64()
192 static inline void put_unaligned_le32(void *p, uint32_t val)  in put_unaligned_le32()  argument
196 	tmp->x = val;  in put_unaligned_le32()
206 static inline void put_unaligned_le16(void *p, uint16_t val)  in put_unaligned_le16()  argument
210 	tmp->x = val;  in put_unaligned_le16()