Searched defs:io_write_64 (Results 1 – 2 of 2) sorted by relevance
121 static inline void io_write_64(uintptr_t addr, uint64_t value) in io_write_64() function