Searched refs:MSG_PING (Results 1 – 1 of 1) sorted by relevance
555 MSG_PING, enumerator765 msg.type = MSG_PING; in do_ping()773 if (msg.type != MSG_PING) in do_ping()1900 case MSG_PING: in grand_child_serv()