HANDLE_DEATH_LIST 3737 kernel/futex.c 						curr, pi, HANDLE_DEATH_LIST))
HANDLE_DEATH_LIST 4042 kernel/futex.c 					       HANDLE_DEATH_LIST))