/* __lll_timedwait_tid is in lowlevellock.c.  */