| 255 | }; |
| 256 | |
| 257 | static uint64_t runtime_deadline_after(uint32_t timeout_ms) { |
| 258 | uint64_t now_ms = cbm_now_ms(); |
| 259 | if (UINT64_MAX - now_ms < (uint64_t)timeout_ms) { |
| 260 | return UINT64_MAX; |
| 261 | } |
| 262 | return now_ms + (uint64_t)timeout_ms; |
| 263 | } |
| 264 | |
| 265 | static void runtime_wait_tick(uint64_t deadline_ms) { |
| 266 | uint64_t now_ms = cbm_now_ms(); |
no test coverage detected