37 static ALWAYS_INLINE uint8_t sys_read8(mem_addr_t addr)  in sys_read8()  argument
41 	__asm__ volatile("ldrb %w0, [%1]" : "=r" (val) : "r" (addr));  in sys_read8()
47 static ALWAYS_INLINE void sys_write8(uint8_t data, mem_addr_t addr)  in sys_write8()  argument
50 	__asm__ volatile("strb %w0, [%1]" : : "r" (data), "r" (addr));  in sys_write8()
53 static ALWAYS_INLINE uint16_t sys_read16(mem_addr_t addr)  in sys_read16()  argument
57 	__asm__ volatile("ldrh %w0, [%1]" : "=r" (val) : "r" (addr));  in sys_read16()
63 static ALWAYS_INLINE void sys_write16(uint16_t data, mem_addr_t addr)  in sys_write16()  argument
66 	__asm__ volatile("strh %w0, [%1]" : : "r" (data), "r" (addr));  in sys_write16()
69 static ALWAYS_INLINE uint32_t sys_read32(mem_addr_t addr)  in sys_read32()  argument
73 	__asm__ volatile("ldr %w0, [%1]" : "=r" (val) : "r" (addr));  in sys_read32()
79 static ALWAYS_INLINE void sys_write32(uint32_t data, mem_addr_t addr)  in sys_write32()  argument
82 	__asm__ volatile("str %w0, [%1]" : : "r" (data), "r" (addr));  in sys_write32()
85 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr)  in sys_read64()  argument
89 	__asm__ volatile("ldr %x0, [%1]" : "=r" (val) : "r" (addr));  in sys_read64()
95 static ALWAYS_INLINE void sys_write64(uint64_t data, mem_addr_t addr)  in sys_write64()  argument
98 	__asm__ volatile("str %x0, [%1]" : : "r" (data), "r" (addr));  in sys_write64()