Searched refs:thread_get_kernel_special_reply_port (Results 1 – 3 of 3) sorted by relevance
286 extern kern_return_t thread_get_kernel_special_reply_port(void);
288 thread_get_kernel_special_reply_port(); in kernel_mach_msg_rpc()
1489 thread_get_kernel_special_reply_port(void) in thread_get_kernel_special_reply_port() function