Did you mean (for qemu):timer_read
Your search defs:timer_read32 did not match any files. Suggestions: