The text c90cebf534e1, as Debian 8 (Jessie) shipped it.
Wait on uaddr and take uaddr2
futex_wait_requeue_pi(9) on Linux now
