Searched refs:thread_get_kernel_special_reply_port (Results 1 – 3 of 3) sorted by relevance
289 extern kern_return_t thread_get_kernel_special_reply_port(void);
375 thread_get_kernel_special_reply_port(); in kernel_mach_msg_rpc_common()
1564 thread_get_kernel_special_reply_port(void) in thread_get_kernel_special_reply_port() function