#include <stdio.h>
#include <mach/mach_port.h>

 kern_return_t mach_port_deallocate
(
	ipc_space_t task,
	mach_port_name_t name
){
printf ("mach_port_deallocate",task,name);
};

 kern_return_t mach_port_get_set_status
(
	ipc_space_t task,
	mach_port_name_t name,
	mach_port_name_array_t *members,
	mach_msg_type_number_t *membersCnt
){
printf ("mach_port_get_set_status",task,name,*members,*membersCnt);
};

 kern_return_t mach_port_get_attributes
(
	ipc_space_t task,
	mach_port_name_t name,
	mach_port_flavor_t flavor,
	mach_port_info_t port_info_out,
	mach_msg_type_number_t *port_info_outCnt
){
printf ("mach_port_get_attributes",task,name,flavor,port_info_out,*port_info_outCnt);
};

 kern_return_t mach_port_names
(
	ipc_space_t task,
	mach_port_name_array_t *names,
	mach_msg_type_number_t *namesCnt,
	mach_port_type_array_t *types,
	mach_msg_type_number_t *typesCnt
){
printf ("mach_port_names",task,*names,*namesCnt,*types,*typesCnt);
};

 kern_return_t mach_port_get_refs
(
	ipc_space_t task,
	mach_port_name_t name,
	mach_port_right_t right,
	mach_port_urefs_t *refs
){
printf ("mach_port_get_refs",task,name,right,*refs);
};

 kern_return_t mach_port_allocate_name
(
	ipc_space_t task,
	mach_port_right_t right,
	mach_port_name_t name
){
printf ("mach_port_allocate_name",task,right,name);
};

kern_return_t mach_port_allocate
(
	ipc_space_t task,
	mach_port_right_t right,
	mach_port_name_t *name
){
printf ("mach_port_allocate",task,right,*name);
};

