diff --git a/src/ctrl/ctrl_core.c b/src/ctrl/ctrl_core.c index e996b72f..aaf85595 100644 --- a/src/ctrl/ctrl_core.c +++ b/src/ctrl/ctrl_core.c @@ -1790,6 +1790,12 @@ ctrl_key_from_process_vaddr_range(CTRL_Handle process, Rng1U64 vaddr_range, B32 { break; } + + //- rjf: step 5: exit if out of time + if(os_now_microseconds() >= endt_us) + { + break; + } } if(out_is_stale) {