Searched refs:thread_get_kernel_special_reply_port (Results 1 – 3 of 3) sorted by relevance
287 extern kern_return_t thread_get_kernel_special_reply_port(void);
284 thread_get_kernel_special_reply_port(); in kernel_mach_msg_rpc()
1447 thread_get_kernel_special_reply_port(void) in thread_get_kernel_special_reply_port() function