handle_futex_death 3736 kernel/futex.c 			if (handle_futex_death((void __user *)entry + futex_offset,
handle_futex_death 3754 kernel/futex.c 		handle_futex_death((void __user *)pending + futex_offset,
handle_futex_death 4041 kernel/futex.c 			if (handle_futex_death(uaddr, curr, pi,
handle_futex_death 4061 kernel/futex.c 		handle_futex_death(uaddr, curr, pip, HANDLE_DEATH_PENDING);