+ thread_t thread);
+
+/* Check port's type, and convert to correct task type */
+extern task_t convert_port_to_task_check_type(
+ ipc_port_t port,
+ ipc_kobject_type_t *kotype,
+ mach_task_flavor_t at_most,
+ int eval_check);
+
+/* Check port's type, and convert to correct thread type */
+extern thread_t convert_port_to_thread_check_type(
+ ipc_port_t port,
+ ipc_kobject_type_t *kotype,
+ mach_thread_flavor_t at_most,
+ int eval_check);
+
+/* Check port's type, and convert to correct ipc_space type */
+extern ipc_space_t convert_port_to_space_check_type(
+ ipc_port_t port,
+ ipc_kobject_type_t *kotype,
+ mach_task_flavor_t at_most,
+ int eval_check);