int mach_port_deallocate(int a, int b);
int mach_port_get_set_status(int a,int b,int c,int d);
int mach_port_get_attributes(int a,int b,int c,int d, int e);
int mach_port_names(int a,int b,int c,int d,int e);
int mach_port_get_refs(int a,int b,int c,int d);