MACH_PORT_RIGHT_RECEIVE 3657 gc/os_dep.c r = mach_port_allocate(me,MACH_PORT_RIGHT_RECEIVE,&GC_ports.exception); MACH_PORT_RIGHT_RECEIVE 3666 gc/os_dep.c r = mach_port_allocate(me,MACH_PORT_RIGHT_RECEIVE,&GC_ports.reply);