Lines Matching refs:b_next

143    Addr b, b_next;
151 for (b = a1; b < a2; b = b_next)
158 b_next = first_address_with_higher_msb(b);
159 if (b_next > a2)
161 b_next = a2;
240 Addr b, b_next;
248 for (b = a1; b < a2; b = b_next)
255 b_next = first_address_with_higher_msb(b);
256 if (b_next > a2)
258 b_next = a2;
371 Addr b, b_next;
375 for (b = a1; b < a2; b = b_next)
379 b_next = first_address_with_higher_msb(b);
380 if (b_next > a2)
382 b_next = a2;
424 Addr b, b_next;
428 for (b = a1; b < a2; b = b_next)
432 b_next = first_address_with_higher_msb(b);
433 if (b_next > a2)
435 b_next = a2;
479 Addr b, b_next;
483 for (b = a1; b < a2; b = b_next)
487 b_next = first_address_with_higher_msb(b);
488 if (b_next > a2)
490 b_next = a2;
559 Addr b, b_next;
567 for (b = a1; b < a2; b = b_next)
578 b_next = first_address_with_higher_msb(b);
579 if (b_next > a2)
581 b_next = a2;
593 if (c_next > b_next)
594 c_next = b_next;
596 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
597 && b_next <= a2);
606 Addr c_next = first_address_with_same_uword_lsb(b_next);
610 tl_assert(c_next <= b_next);
623 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
625 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
626 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
636 Addr b, b_next;
644 for (b = a1; b < a2; b = b_next)
655 b_next = first_address_with_higher_msb(b);
656 if (b_next > a2)
658 b_next = a2;
668 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
673 if (c_next > b_next)
674 c_next = b_next;
676 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
677 && b_next <= a2);
684 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
688 Addr c_next = first_address_with_same_uword_lsb(b_next);
692 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
693 && b_next <= a2);
705 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
707 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
718 Addr b, b_next;
726 for (b = a1; b < a2; b = b_next)
737 b_next = first_address_with_higher_msb(b);
738 if (b_next > a2)
740 b_next = a2;
750 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
755 if (c_next > b_next)
756 c_next = b_next;
758 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next
759 && b_next <= a2);
766 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
770 Addr c_next = first_address_with_same_uword_lsb(b_next);
774 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
775 && b_next <= a2);
787 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
789 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
812 Addr b, b_next;
816 for (b = a1; b < a2; b = b_next)
820 b_next = first_address_with_higher_msb(b);
821 if (b_next > a2)
823 b_next = a2;