Searched defs:sys_write64 (Results 1 – 5 of 5) sorted by relevance
58 static ALWAYS_INLINE void sys_write64(uint64_t data, mem_addr_t addr) in sys_write64() function
72 static ALWAYS_INLINE void sys_write64(uint64_t data, mem_addr_t addr) in sys_write64() function
95 static ALWAYS_INLINE void sys_write64(uint64_t data, mem_addr_t addr) in sys_write64() function
26 static ALWAYS_INLINE void sys_write64(uint64_t data, mm_reg_t addr) in sys_write64() function
93 #define sys_write64(data, addr) mock_sys_write64(data, addr) macro
