Searched defs:io_write_32 (Results 1 – 2 of 2) sorted by relevance
111 static inline void io_write_32(uintptr_t addr, uint32_t value) in io_write_32() function