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,