Searched defs:uint64_t (Results 1 – 2 of 2) sorted by relevance
17 void renode_attach_log_translation_block_fetch(void (handler)(uint64_t)) in renode_attach_log_translation_block_fetch()
54 EXTERNAL(uint64_t, get_instruction_count) in EXTERNAL() argument
