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_write_32(uintptr_t addr, uint32_t value)  in mmio_write_32()  argument
34 	*(volatile uint32_t*)addr = value;  in mmio_write_32()
37 static inline uint32_t mmio_read_32(uintptr_t addr)  in mmio_read_32()  argument
39 	return *(volatile uint32_t*)addr;  in mmio_read_32()
42 static inline void mmio_write_64(uintptr_t addr, uint64_t value)  in mmio_write_64()  argument
44 	*(volatile uint64_t*)addr = value;  in mmio_write_64()
47 static inline uint64_t mmio_read_64(uintptr_t addr)  in mmio_read_64()  argument
49 	return *(volatile uint64_t*)addr;  in mmio_read_64()
52 static inline void mmio_clrbits_32(uintptr_t addr, uint32_t clear)  in mmio_clrbits_32()  argument
54 	mmio_write_32(addr, mmio_read_32(addr) & ~clear);  in mmio_clrbits_32()
57 static inline void mmio_setbits_32(uintptr_t addr, uint32_t set)  in mmio_setbits_32()  argument
59 	mmio_write_32(addr, mmio_read_32(addr) | set);  in mmio_setbits_32()
62 static inline void mmio_clrsetbits_32(uintptr_t addr,  in mmio_clrsetbits_32()  argument
66 	mmio_write_32(addr, (mmio_read_32(addr) & ~clear) | set);  in mmio_clrsetbits_32()