Lines Matching refs:b_next
141 Addr b, b_next;
149 for (b = a1; b < a2; b = b_next)
156 b_next = first_address_with_higher_msb(b);
157 if (b_next > a2)
159 b_next = a2;
238 Addr b, b_next;
246 for (b = a1; b < a2; b = b_next)
253 b_next = first_address_with_higher_msb(b);
254 if (b_next > a2)
256 b_next = a2;
369 Addr b, b_next;
373 for (b = a1; b < a2; b = b_next)
377 b_next = first_address_with_higher_msb(b);
378 if (b_next > a2)
380 b_next = a2;
422 Addr b, b_next;
426 for (b = a1; b < a2; b = b_next)
430 b_next = first_address_with_higher_msb(b);
431 if (b_next > a2)
433 b_next = a2;
477 Addr b, b_next;
481 for (b = a1; b < a2; b = b_next)
485 b_next = first_address_with_higher_msb(b);
486 if (b_next > a2)
488 b_next = a2;
557 Addr b, b_next;
565 for (b = a1; b < a2; b = b_next)
576 b_next = first_address_with_higher_msb(b);
577 if (b_next > a2)
579 b_next = a2;
591 if (c_next > b_next)
592 c_next = b_next;
594 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
595 && b_next <= a2);
604 Addr c_next = first_address_with_same_uword_lsb(b_next);
608 tl_assert(c_next <= b_next);
621 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
623 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
624 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
634 Addr b, b_next;
642 for (b = a1; b < a2; b = b_next)
653 b_next = first_address_with_higher_msb(b);
654 if (b_next > a2)
656 b_next = a2;
666 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
671 if (c_next > b_next)
672 c_next = b_next;
674 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
675 && b_next <= a2);
682 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
686 Addr c_next = first_address_with_same_uword_lsb(b_next);
690 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
691 && b_next <= a2);
703 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
705 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
716 Addr b, b_next;
724 for (b = a1; b < a2; b = b_next)
735 b_next = first_address_with_higher_msb(b);
736 if (b_next > a2)
738 b_next = a2;
748 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
753 if (c_next > b_next)
754 c_next = b_next;
756 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
757 && b_next <= a2);
764 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
768 Addr c_next = first_address_with_same_uword_lsb(b_next);
772 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
773 && b_next <= a2);
785 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
787 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
810 Addr b, b_next;
814 for (b = a1; b < a2; b = b_next)
818 b_next = first_address_with_higher_msb(b);
819 if (b_next > a2)
821 b_next = a2;
