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;