exception_mask_t 3413 gc/os_dep.c exception_mask_t masks[MAX_EXCEPTION_PORTS]; exception_mask_t 3639 gc/os_dep.c exception_mask_t mask;