HANDLE_DEATH_PENDING 3755 kernel/futex.c curr, pip, HANDLE_DEATH_PENDING); HANDLE_DEATH_PENDING 4061 kernel/futex.c handle_futex_death(uaddr, curr, pip, HANDLE_DEATH_PENDING);