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()
45 static inline uint8_t io_read8(vaddr_t addr)  in io_read8()  argument
47 	return *(volatile uint8_t *)addr;  in io_read8()
50 static inline uint16_t io_read16(vaddr_t addr)  in io_read16()  argument
52 	return *(volatile uint16_t *)addr;  in io_read16()
55 static inline uint32_t io_read32(vaddr_t addr)  in io_read32()  argument
57 	return *(volatile uint32_t *)addr;  in io_read32()
60 static inline uint64_t io_read64(vaddr_t addr)  in io_read64()  argument
62 	return *(volatile uint64_t *)addr;  in io_read64()
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()
230 static inline void io_setbits32(vaddr_t addr, uint32_t set_mask)  in io_setbits32()  argument
232 	io_write32(addr, io_read32(addr) | set_mask);  in io_setbits32()
235 static inline void io_clrbits32(vaddr_t addr, uint32_t clear_mask)  in io_clrbits32()  argument
237 	io_write32(addr, io_read32(addr) & ~clear_mask);  in io_clrbits32()
240 static inline void io_clrsetbits32(vaddr_t addr, uint32_t clear_mask,  in io_clrsetbits32()  argument
243 	io_write32(addr, (io_read32(addr) & ~clear_mask) | set_mask);  in io_clrsetbits32()
246 static inline void io_setbits16(vaddr_t addr, uint16_t set_mask)  in io_setbits16()  argument
248 	io_write16(addr, io_read16(addr) | set_mask);  in io_setbits16()
251 static inline void io_clrbits16(vaddr_t addr, uint16_t clear_mask)  in io_clrbits16()  argument
253 	io_write16(addr, io_read16(addr) & ~clear_mask);  in io_clrbits16()
256 static inline void io_clrsetbits16(vaddr_t addr, uint16_t clear_mask,  in io_clrsetbits16()  argument
259 	io_write16(addr, (io_read16(addr) & ~clear_mask) | set_mask);  in io_clrsetbits16()
262 static inline void io_setbits8(vaddr_t addr, uint8_t set_mask)  in io_setbits8()  argument
264 	io_write8(addr, io_read8(addr) | set_mask);  in io_setbits8()
267 static inline void io_clrbits8(vaddr_t addr, uint8_t clear_mask)  in io_clrbits8()  argument
269 	io_write8(addr, io_read8(addr) & ~clear_mask);  in io_clrbits8()
272 static inline void io_clrsetbits8(vaddr_t addr, uint8_t clear_mask,  in io_clrsetbits8()  argument
275 	io_write8(addr, (io_read8(addr) & ~clear_mask) | set_mask);  in io_clrsetbits8()