Searched refs:write_word_to_port (Results 1 – 1 of 1) sorted by relevance
36 EXTERNAL(void, write_word_to_port, uint32_t, uint32_t) in EXTERNAL() argument39 return write_word_to_port(address, value); in EXTERNAL()
