| 899 | double timer_monotonic() override { return timer(); } |
| 900 | |
| 901 | Future<class Void> delay(double seconds, TaskPriority taskID) override { |
| 902 | ASSERT(taskID >= TaskPriority::Min && taskID <= TaskPriority::Max); |
| 903 | return delay(seconds, taskID, currentProcess); |
| 904 | } |
| 905 | Future<class Void> orderedDelay(double seconds, TaskPriority taskID) override { |
| 906 | ASSERT(taskID >= TaskPriority::Min && taskID <= TaskPriority::Max); |
| 907 | return delay(seconds, taskID, currentProcess, true); |