double_lock_hb 796 kernel/futex.c double_lock_hb(hb1, hb2); double_lock_hb 908 kernel/futex.c double_lock_hb(hb1, hb2);