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