24 static ALWAYS_INLINE void sys_write32(uint32_t data, mm_reg_t addr)  in sys_write32()  argument
26 	__builtin_stwio((void *)addr, data);  in sys_write32()
29 static ALWAYS_INLINE uint32_t sys_read32(mm_reg_t addr)  in sys_read32()  argument
31 	return __builtin_ldwio((void *)addr);  in sys_read32()
34 static ALWAYS_INLINE void sys_write8(uint8_t data, mm_reg_t addr)  in sys_write8()  argument
36 	sys_write32(data, addr);  in sys_write8()
39 static ALWAYS_INLINE uint8_t sys_read8(mm_reg_t addr)  in sys_read8()  argument
41 	return __builtin_ldbuio((void *)addr);  in sys_read8()
44 static ALWAYS_INLINE void sys_write16(uint16_t data, mm_reg_t addr)  in sys_write16()  argument
46 	sys_write32(data, addr);  in sys_write16()
49 static ALWAYS_INLINE uint16_t sys_read16(mm_reg_t addr)  in sys_read16()  argument
51 	return __builtin_ldhuio((void *)addr);  in sys_read16()