1872
1872
if (EXPECTED_TAKEN( len == 128 && VG_IS_8_ALIGNED(base) )) {
1873
1873
/* Now we know the address range is suitably sized and aligned. */
1874
1874
UWord a_lo = (UWord)(base);
1876
1876
tl_assert(a_lo < a_hi); // paranoia: detect overflow
1877
1877
if (a_hi < MAX_PRIMARY_ADDRESS) {
1878
1878
// Now we know the entire range is within the main primary map.