12 static inline void mmio_write_8(uintptr_t addr, uint8_t value)  in mmio_write_8()  argument
14 	*(volatile uint8_t*)addr = value;  in mmio_write_8()
17 static inline uint8_t mmio_read_8(uintptr_t addr)  in mmio_read_8()  argument
19 	return *(volatile uint8_t*)addr;  in mmio_read_8()
22 static inline void mmio_write_16(uintptr_t addr, uint16_t value)  in mmio_write_16()  argument
24 	*(volatile uint16_t*)addr = value;  in mmio_write_16()
27 static inline uint16_t mmio_read_16(uintptr_t addr)  in mmio_read_16()  argument
29 	return *(volatile uint16_t*)addr;  in mmio_read_16()
32 static inline void mmio_clrsetbits_16(uintptr_t addr,  in mmio_clrsetbits_16()  argument
36 	mmio_write_16(addr, (mmio_read_16(addr) & ~clear) | set);  in mmio_clrsetbits_16()
39 static inline void mmio_write_32(uintptr_t addr, uint32_t value)  in mmio_write_32()  argument
41 	*(volatile uint32_t*)addr = value;  in mmio_write_32()
44 static inline uint32_t mmio_read_32(uintptr_t addr)  in mmio_read_32()  argument
46 	return *(volatile uint32_t*)addr;  in mmio_read_32()
49 static inline void mmio_write_64(uintptr_t addr, uint64_t value)  in mmio_write_64()  argument
51 	*(volatile uint64_t*)addr = value;  in mmio_write_64()
54 static inline uint64_t mmio_read_64(uintptr_t addr)  in mmio_read_64()  argument
56 	return *(volatile uint64_t*)addr;  in mmio_read_64()
59 static inline void mmio_clrbits_32(uintptr_t addr, uint32_t clear)  in mmio_clrbits_32()  argument
61 	mmio_write_32(addr, mmio_read_32(addr) & ~clear);  in mmio_clrbits_32()
64 static inline void mmio_setbits_32(uintptr_t addr, uint32_t set)  in mmio_setbits_32()  argument
66 	mmio_write_32(addr, mmio_read_32(addr) | set);  in mmio_setbits_32()
69 static inline void mmio_clrsetbits_32(uintptr_t addr,  in mmio_clrsetbits_32()  argument
73 	mmio_write_32(addr, (mmio_read_32(addr) & ~clear) | set);  in mmio_clrsetbits_32()