HelenOS sources

ping_signal_received  128 uspace/app/ping/ping.c 	ping_signal_received(RECEIVED_SUCCESS);
ping_signal_received  201 uspace/app/ping/ping.c 			ping_signal_received(RECEIVED_INTERRUPT);
ping_signal_received  210 uspace/app/ping/ping.c 				ping_signal_received(RECEIVED_INTERRUPT);