| 35 | void adjust_timers_for_unicorn_exit(); |
| 36 | uc_err set_timer_reload_val(uc_engine *uc, uint32_t id, uint64_t reload_val); |
| 37 | uint32_t get_timer_scale(struct FwContext* fw); |
| 38 | uint64_t get_global_ticker(); |
| 39 | |
| 40 | uc_err rem_timer(uc_engine *uc, uint32_t id); |
nothing calls this directly
no outgoing calls
no test coverage detected