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];