--- Gnu-Mach/ipc/mach_port.h	2020/09/02 04:45:05	1.1.1.1
+++ Gnu-Mach/ipc/mach_port.h	2020/09/02 04:47:17	1.1.1.2
@@ -43,6 +43,11 @@ mach_port_allocate (
     mach_port_t *namep);
 
 extern kern_return_t
+mach_port_destroy(
+    ipc_space_t space,
+    mach_port_t name);
+
+extern kern_return_t
 mach_port_deallocate(
     ipc_space_t space,
     mach_port_t name);
@@ -54,4 +59,10 @@ mach_port_insert_right(
     ipc_port_t      poly,
     mach_msg_type_name_t    polyPoly);
 
+kern_return_t
+mach_port_get_receive_status(
+	ipc_space_t 		space,
+	mach_port_t 		name,
+	mach_port_status_t 	*statusp);
+
 #endif /* _IPC_MACH_PORT_H_ */