36 static ALWAYS_INLINE uint8_t sys_read8(mem_addr_t addr)  in sys_read8()  argument
40 	__asm__ volatile("ldrb %w0, [%1]" : "=r" (val) : "r" (addr));  in sys_read8()
46 static ALWAYS_INLINE void sys_write8(uint8_t data, mem_addr_t addr)  in sys_write8()  argument
49 	__asm__ volatile("strb %w0, [%1]" : : "r" (data), "r" (addr));  in sys_write8()
52 static ALWAYS_INLINE uint16_t sys_read16(mem_addr_t addr)  in sys_read16()  argument
56 	__asm__ volatile("ldrh %w0, [%1]" : "=r" (val) : "r" (addr));  in sys_read16()
62 static ALWAYS_INLINE void sys_write16(uint16_t data, mem_addr_t addr)  in sys_write16()  argument
65 	__asm__ volatile("strh %w0, [%1]" : : "r" (data), "r" (addr));  in sys_write16()
68 static ALWAYS_INLINE uint32_t sys_read32(mem_addr_t addr)  in sys_read32()  argument
72 	__asm__ volatile("ldr %w0, [%1]" : "=r" (val) : "r" (addr));  in sys_read32()
78 static ALWAYS_INLINE void sys_write32(uint32_t data, mem_addr_t addr)  in sys_write32()  argument
81 	__asm__ volatile("str %w0, [%1]" : : "r" (data), "r" (addr));  in sys_write32()
84 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr)  in sys_read64()  argument
88 	__asm__ volatile("ldr %x0, [%1]" : "=r" (val) : "r" (addr));  in sys_read64()
94 static ALWAYS_INLINE void sys_write64(uint64_t data, mem_addr_t addr)  in sys_write64()  argument
97 	__asm__ volatile("str %x0, [%1]" : : "r" (data), "r" (addr));  in sys_write64()