25 static inline void io_write8(vaddr_t addr, uint8_t val)  in io_write8()
30 static inline void io_write16(vaddr_t addr, uint16_t val)  in io_write16()
35 static inline void io_write32(vaddr_t addr, uint32_t val)  in io_write32()
40 static inline void io_write64(vaddr_t addr, uint64_t val)  in io_write64()
45 static inline uint8_t io_read8(vaddr_t addr)  in io_read8()
50 static inline uint16_t io_read16(vaddr_t addr)  in io_read16()
55 static inline uint32_t io_read32(vaddr_t addr)  in io_read32()
60 static inline uint64_t io_read64(vaddr_t addr)  in io_read64()
65 static inline void io_mask8(vaddr_t addr, uint8_t val, uint8_t mask)  in io_mask8()
70 static inline void io_mask16(vaddr_t addr, uint16_t val, uint16_t mask)  in io_mask16()
75 static inline void io_mask32(vaddr_t addr, uint32_t val, uint32_t mask)  in io_mask32()
230 static inline void io_setbits32(vaddr_t addr, uint32_t set_mask)  in io_setbits32()
235 static inline void io_clrbits32(vaddr_t addr, uint32_t clear_mask)  in io_clrbits32()
240 static inline void io_clrsetbits32(vaddr_t addr, uint32_t clear_mask,  in io_clrsetbits32()
246 static inline void io_setbits16(vaddr_t addr, uint16_t set_mask)  in io_setbits16()
251 static inline void io_clrbits16(vaddr_t addr, uint16_t clear_mask)  in io_clrbits16()
256 static inline void io_clrsetbits16(vaddr_t addr, uint16_t clear_mask,  in io_clrsetbits16()
262 static inline void io_setbits8(vaddr_t addr, uint8_t set_mask)  in io_setbits8()
267 static inline void io_clrbits8(vaddr_t addr, uint8_t clear_mask)  in io_clrbits8()
272 static inline void io_clrsetbits8(vaddr_t addr, uint8_t clear_mask,  in io_clrsetbits8()