Lines Matching full:b_start
139 Addr b_start;
154 b_start = a1;
157 b_start = make_address(bm2->addr, 0);
166 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2);
167 tl_assert(address_msb(b_start) == address_msb(b_end - 1));
168 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
170 if (address_lsb(b_start) == 0 && address_lsb(b_end) == 0)
181 for (b0 = address_lsb(b_start); b0 <= address_lsb(b_end - 1); b0++)
236 Addr b_start;
251 b_start = a1;
254 b_start = make_address(bm2->addr, 0);
263 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2);
264 tl_assert(address_msb(b_start) == address_msb(b_end - 1));
265 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
267 if (address_lsb(b_start) == 0 && address_lsb(b_end) == 0)
278 for (b0 = address_lsb(b_start); b0 <= address_lsb(b_end - 1); b0++)
350 Addr b_start;
356 b_start = a1;
359 b_start = make_address(bm2->addr, 0);
362 tl_assert(a1 <= b_start && b_start <= a2);
369 tl_assert(b_start < b_end);
370 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
372 for (b0 = address_lsb(b_start); b0 <= address_lsb(b_end - 1); b0++)
403 Addr b_start;
409 b_start = a1;
412 b_start = make_address(bm2->addr, 0);
415 tl_assert(a1 <= b_start && b_start <= a2);
422 tl_assert(b_start < b_end);
423 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
425 for (b0 = address_lsb(b_start); b0 <= address_lsb(b_end - 1); b0++)
458 Addr b_start;
464 b_start = a1;
467 b_start = make_address(bm2->addr, 0);
470 tl_assert(a1 <= b_start && b_start <= a2);
477 tl_assert(b_start < b_end);
478 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
480 for (b0 = address_lsb(b_start); b0 <= address_lsb(b_end - 1); b0++)
791 Addr b_start;
797 b_start = a1;
800 b_start = make_address(bm2->addr, 0);
803 tl_assert(a1 <= b_start && b_start <= a2);
810 tl_assert(b_start < b_end);
811 tl_assert(address_lsb(b_start) <= address_lsb(b_end - 1));
813 for (b0 = address_lsb(b_start); b0 <= address_lsb(b_end - 1); b0++)
