Searched refs:mach_msg_receive_continue (Results 1 – 3 of 3) sorted by relevance
226 extern void mach_msg_receive_continue(void);
840 mach_msg_receive_continue(); /* hard-coded for now */ in ipc_mqueue_receive_continue()
391 mach_msg_receive_continue(void) in mach_msg_receive_continue() function