local_clock
timeout_ts = (local_clock() >> 10) + 100;
!time_after32(local_clock() >> 10, timeout_ts));
t = local_clock();
base = local_clock(); \
u64 now = local_clock(); \
base = local_clock(); \