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