289 static SecMap sm_distinguished[3];  variable
292    return sm >= &sm_distinguished[0] && sm <= &sm_distinguished[2];  in is_distinguished_sm()
304    tl_assert(dist_sm == &sm_distinguished[0]  in copy_for_writing()
305           || dist_sm == &sm_distinguished[1]  in copy_for_writing()
306           || dist_sm == &sm_distinguished[2]);  in copy_for_writing()
346    if      (oldSM == &sm_distinguished[SM_DIST_NOACCESS ]) n_noaccess_SMs --;  in update_SM_counts()
347    else if (oldSM == &sm_distinguished[SM_DIST_UNDEFINED]) n_undefined_SMs--;  in update_SM_counts()
348    else if (oldSM == &sm_distinguished[SM_DIST_DEFINED  ]) n_defined_SMs  --;  in update_SM_counts()
352    if      (newSM == &sm_distinguished[SM_DIST_NOACCESS ]) n_noaccess_SMs ++;  in update_SM_counts()
353    else if (newSM == &sm_distinguished[SM_DIST_UNDEFINED]) n_undefined_SMs++;  in update_SM_counts()
354    else if (newSM == &sm_distinguished[SM_DIST_DEFINED  ]) n_defined_SMs  ++;  in update_SM_counts()
590    nyu->sm   = &sm_distinguished[SM_DIST_NOACCESS];  in find_or_alloc_in_auxmap()
1343    example_dsm = &sm_distinguished[dsm_num];  in set_address_range_perms()
4583    if (sm == NULL || sm == &sm_distinguished[SM_DIST_NOACCESS]  in MC_()
4623    sm = &sm_distinguished[SM_DIST_NOACCESS];  in init_shadow_memory()
4626    sm = &sm_distinguished[SM_DIST_UNDEFINED];  in init_shadow_memory()
4629    sm = &sm_distinguished[SM_DIST_DEFINED];  in init_shadow_memory()
4636       primary_map[i] = &sm_distinguished[SM_DIST_NOACCESS];  in init_shadow_memory()
4685    sm = &sm_distinguished[SM_DIST_NOACCESS];  in mc_expensive_sanity_check()
4691    sm = &sm_distinguished[SM_DIST_UNDEFINED];  in mc_expensive_sanity_check()
4697    sm = &sm_distinguished[SM_DIST_DEFINED];  in mc_expensive_sanity_check()