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);