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