Symbol: futex_hold