reply 3422 gc/os_dep.c mach_port_t reply; reply 3467 gc/os_dep.c GC_ports.reply, reply 3484 gc/os_dep.c msg.head.msgh_remote_port = GC_ports.reply; reply 3520 gc/os_dep.c } reply; reply 3578 gc/os_dep.c if(!exc_server(&msg.head,&reply.head)) reply 3582 gc/os_dep.c &reply.head, reply 3584 gc/os_dep.c reply.head.msgh_size, reply 3666 gc/os_dep.c r = mach_port_allocate(me,MACH_PORT_RIGHT_RECEIVE,&GC_ports.reply);