1183       UWord   vabits16 = ((UShort*)(sm->vabits8))[sm_off16];  in mc_LOADVn_slow()  local
1184       if (LIKELY(vabits16 == VA_BITS16_DEFINED))  in mc_LOADVn_slow()
1186       if (LIKELY(vabits16 == VA_BITS16_UNDEFINED))  in mc_LOADVn_slow()
1265       UWord   vabits16 = ((UShort*)(sm->vabits8))[sm_off16];  in mc_STOREVn_slow()  local
1267                           (VA_BITS16_DEFINED   == vabits16 ||  in mc_STOREVn_slow()
1268                            VA_BITS16_UNDEFINED == vabits16) )) {  in mc_STOREVn_slow()
1330 static void set_address_range_perms ( Addr a, SizeT lenT, UWord vabits16,  in set_address_range_perms()  argument
1334    UWord    vabits2 = vabits16 & 0x3;  in set_address_range_perms()
1344    tl_assert(VA_BITS16_NOACCESS  == vabits16 ||  in set_address_range_perms()
1345              VA_BITS16_UNDEFINED == vabits16 ||  in set_address_range_perms()
1346              VA_BITS16_DEFINED   == vabits16);  in set_address_range_perms()
1358          if (vabits16 == VA_BITS16_NOACCESS ) s = "noaccess";  in set_address_range_perms()
1359          if (vabits16 == VA_BITS16_UNDEFINED) s = "undefined";  in set_address_range_perms()
1360          if (vabits16 == VA_BITS16_DEFINED  ) s = "defined";  in set_address_range_perms()
1473       ((UShort*)(sm->vabits8))[sm_off16] = vabits16;  in set_address_range_perms()
1545       ((UShort*)(sm->vabits8))[sm_off16] = vabits16;  in set_address_range_perms()
4018       UWord   sm_off16, vabits16;  in mc_LOADV64()  local
4028       vabits16 = ((UShort*)(sm->vabits8))[sm_off16];  in mc_LOADV64()
4033       if (LIKELY(vabits16 == VA_BITS16_DEFINED)) {  in mc_LOADV64()
4035       } else if (LIKELY(vabits16 == VA_BITS16_UNDEFINED)) {  in mc_LOADV64()
4067       UWord   sm_off16, vabits16;  in mc_STOREV64()  local
4078       vabits16 = ((UShort*)(sm->vabits8))[sm_off16];  in mc_STOREV64()
4081                           (VA_BITS16_DEFINED   == vabits16 ||  in mc_STOREV64()
4082                            VA_BITS16_UNDEFINED == vabits16) ))  in mc_STOREV64()