Searched refs:saved_wait_result (Results 1 – 1 of 1) sorted by relevance
792 ipc_mqueue_receive_results(wait_result_t saved_wait_result) in ipc_mqueue_receive_results() argument800 switch (saved_wait_result) { in ipc_mqueue_receive_results()840 panic("ipc_mqueue_receive_results: strange wait_result %d", saved_wait_result); in ipc_mqueue_receive_results()