Lines Matching refs:b_next
129 Addr b, b_next;
137 for (b = a1; b < a2; b = b_next)
144 b_next = first_address_with_higher_msb(b);
145 if (b_next > a2)
147 b_next = a2;
226 Addr b, b_next;
234 for (b = a1; b < a2; b = b_next)
241 b_next = first_address_with_higher_msb(b);
242 if (b_next > a2)
244 b_next = a2;
334 Addr b, b_next;
338 for (b = a1; b < a2; b = b_next)
342 b_next = first_address_with_higher_msb(b);
343 if (b_next > a2)
345 b_next = a2;
387 Addr b, b_next;
391 for (b = a1; b < a2; b = b_next)
395 b_next = first_address_with_higher_msb(b);
396 if (b_next > a2)
398 b_next = a2;
442 Addr b, b_next;
446 for (b = a1; b < a2; b = b_next)
450 b_next = first_address_with_higher_msb(b);
451 if (b_next > a2)
453 b_next = a2;
522 Addr b, b_next;
530 for (b = a1; b < a2; b = b_next)
541 b_next = first_address_with_higher_msb(b);
542 if (b_next > a2)
544 b_next = a2;
556 if (c_next > b_next)
557 c_next = b_next;
559 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
560 && b_next <= a2);
569 Addr c_next = first_address_with_same_uword_lsb(b_next);
573 tl_assert(c_next <= b_next);
586 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
588 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
589 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
599 Addr b, b_next;
607 for (b = a1; b < a2; b = b_next)
618 b_next = first_address_with_higher_msb(b);
619 if (b_next > a2)
621 b_next = a2;
631 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
636 if (c_next > b_next)
637 c_next = b_next;
639 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
640 && b_next <= a2);
647 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
651 Addr c_next = first_address_with_same_uword_lsb(b_next);
655 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
656 && b_next <= a2);
668 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
670 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
681 Addr b, b_next;
689 for (b = a1; b < a2; b = b_next)
700 b_next = first_address_with_higher_msb(b);
701 if (b_next > a2)
703 b_next = a2;
713 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
718 if (c_next > b_next)
719 c_next = b_next;
721 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
722 && b_next <= a2);
729 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
733 Addr c_next = first_address_with_same_uword_lsb(b_next);
737 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
738 && b_next <= a2);
750 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
752 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
775 Addr b, b_next;
779 for (b = a1; b < a2; b = b_next)
783 b_next = first_address_with_higher_msb(b);
784 if (b_next > a2)
786 b_next = a2;
