GC_ports 3424 gc/os_dep.c } GC_ports; GC_ports 3458 gc/os_dep.c buf.msg.head.msgh_remote_port = GC_ports.exception; GC_ports 3467 gc/os_dep.c GC_ports.reply, GC_ports 3484 gc/os_dep.c msg.head.msgh_remote_port = GC_ports.reply; GC_ports 3538 gc/os_dep.c GC_ports.exception, GC_ports 3657 gc/os_dep.c r = mach_port_allocate(me,MACH_PORT_RIGHT_RECEIVE,&GC_ports.exception); GC_ports 3660 gc/os_dep.c r = mach_port_insert_right(me,GC_ports.exception,GC_ports.exception, GC_ports 3666 gc/os_dep.c r = mach_port_allocate(me,MACH_PORT_RIGHT_RECEIVE,&GC_ports.reply); GC_ports 3687 gc/os_dep.c GC_ports.exception,