+/*
+ * Return the type and address of the kernel object
+ * that the given send/receive right represents.
+ * This call is only valid on MACH_IPC_DEBUG kernels.
+ * Otherwise, KERN_FAILURE is returned.
+ */
+routine
+#ifdef KERNEL_SERVER
+mach_port_kobject_description_from_user(
+ port : mach_port_t;
+#else
+mach_port_kobject_description(
+ task : ipc_space_read_t;
+#endif
+ name : mach_port_name_t;
+ out object_type : natural_t;
+ out object_addr : mach_vm_address_t;
+ out description : kobject_description_t);
+