mask_initialized 526 gc/os_dep.c static GC_bool mask_initialized = FALSE; mask_initialized 541 gc/os_dep.c if (!mask_initialized) { mask_initialized 559 gc/os_dep.c mask_initialized = TRUE;