Searched refs:thread_get_special_port_internal (Results 1 – 1 of 1) sorted by relevance
1700 thread_get_special_port_internal( in thread_get_special_port_internal() function1763 return thread_get_special_port_internal(thread, get_thread_ro(thread), in thread_get_special_port()1839 kr = thread_get_special_port_internal(thread, tro, which, portp, flavor); in thread_get_special_port_from_user()