+memory_object_t convert_port_to_memory_object(
+ mach_port_t port);
+
+extern upl_t convert_port_to_upl(
+ ipc_port_t port);
+
+extern ipc_port_t convert_upl_to_port( upl_t );
+
+__private_extern__ void upl_no_senders(ipc_port_t, mach_port_mscount_t);
+
+extern kern_return_t memory_object_pages_resident(
+ memory_object_control_t control,
+ boolean_t * has_pages_resident);
+
+extern kern_return_t memory_object_signed(
+ memory_object_control_t control,
+ boolean_t is_signed);
+
+extern boolean_t memory_object_is_signed(
+ memory_object_control_t control);
+
+extern boolean_t memory_object_is_shared_cache(
+ memory_object_control_t control);
+
+extern void memory_object_mark_used(
+ memory_object_control_t control);
+
+extern void memory_object_mark_unused(
+ memory_object_control_t control,
+ boolean_t rage);
+
+extern void memory_object_mark_io_tracking(
+ memory_object_control_t control);
+
+extern void memory_object_mark_trusted(
+ memory_object_control_t control);