23 static ALWAYS_INLINE uint8_t sys_read8(mem_addr_t addr)  in sys_read8()  argument
25 	return *(volatile uint8_t *)addr;  in sys_read8()
28 static ALWAYS_INLINE void sys_write8(uint8_t data, mem_addr_t addr)  in sys_write8()  argument
30 	*(volatile uint8_t *)addr = data;  in sys_write8()
33 static ALWAYS_INLINE uint16_t sys_read16(mem_addr_t addr)  in sys_read16()  argument
35 	return *(volatile uint16_t *)addr;  in sys_read16()
38 static ALWAYS_INLINE void sys_write16(uint16_t data, mem_addr_t addr)  in sys_write16()  argument
40 	*(volatile uint16_t *)addr = data;  in sys_write16()
43 static ALWAYS_INLINE uint32_t sys_read32(mem_addr_t addr)  in sys_read32()  argument
45 	return *(volatile uint32_t *)addr;  in sys_read32()
48 static ALWAYS_INLINE void sys_write32(uint32_t data, mem_addr_t addr)  in sys_write32()  argument
50 	*(volatile uint32_t *)addr = data;  in sys_write32()
53 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr)  in sys_read64()  argument
55 	return *(volatile uint64_t *)addr;  in sys_read64()
58 static ALWAYS_INLINE void sys_write64(uint64_t data, mem_addr_t addr)  in sys_write64()  argument
60 	*(volatile uint64_t *)addr = data;  in sys_write64()