Symbol: TimeWaited
src/tests/system/kernel/syscall_restart_test.cpp
220
return Check(TimeWaited() < 200000, "waited too long");
src/tests/system/kernel/syscall_restart_test.cpp
222
return Check(TimeWaited() > 900000 && TimeWaited() < 1100000,
src/tests/system/kernel/syscall_restart_test.cpp
223
"waited %lld us instead of 1000000 us", TimeWaited());
src/tests/system/kernel/syscall_restart_test.cpp
429
return Check(TimeWaited() < 200000, "waited too long");
src/tests/system/kernel/syscall_restart_test.cpp
431
return Check(TimeWaited() > 900000 && TimeWaited() < 1100000,
src/tests/system/kernel/syscall_restart_test.cpp
432
"waited %lld us instead of 1000000 us", TimeWaited());