| 61 | |
| 62 | #ifdef DEBUG_INJECT_TIMER |
| 63 | void test_timeout_cb(uc_engine *uc, uint32_t id, void *user_data) { |
| 64 | if(!is_discovery_child) { |
| 65 | uint32_t pc; |
| 66 | uc->reg_read(uc->ctx, UC_ARM_REG_PC, &pc); |
| 67 | printf("Test timer triggered at pc 0x%08x\n", pc); |
| 68 | fflush(NULL); |
| 69 | } |
| 70 | } |
| 71 | #endif |
| 72 | |
| 73 | void instr_limit_timeout_cb(uc_engine *uc, uint32_t id, void *user_data) { |
nothing calls this directly
no outgoing calls
no test coverage detected