GC_old_exc_ports 3417 gc/os_dep.c } GC_old_exc_ports; GC_old_exc_ports 3676 gc/os_dep.c GC_old_exc_ports.masks, GC_old_exc_ports 3677 gc/os_dep.c &GC_old_exc_ports.count, GC_old_exc_ports 3678 gc/os_dep.c GC_old_exc_ports.ports, GC_old_exc_ports 3679 gc/os_dep.c GC_old_exc_ports.behaviors, GC_old_exc_ports 3680 gc/os_dep.c GC_old_exc_ports.flavors GC_old_exc_ports 3740 gc/os_dep.c for(i=0;i<GC_old_exc_ports.count;i++) GC_old_exc_ports 3741 gc/os_dep.c if(GC_old_exc_ports.masks[i] & (1 << exception)) GC_old_exc_ports 3743 gc/os_dep.c if(i==GC_old_exc_ports.count) ABORT("No handler for exception!"); GC_old_exc_ports 3745 gc/os_dep.c port = GC_old_exc_ports.ports[i]; GC_old_exc_ports 3746 gc/os_dep.c behavior = GC_old_exc_ports.behaviors[i]; GC_old_exc_ports 3747 gc/os_dep.c flavor = GC_old_exc_ports.flavors[i];