masks 3413 gc/os_dep.c exception_mask_t masks[MAX_EXCEPTION_PORTS]; masks 3676 gc/os_dep.c GC_old_exc_ports.masks, masks 3741 gc/os_dep.c if(GC_old_exc_ports.masks[i] & (1 << exception))