Lines Matching refs:c_next
555 Addr c_next = first_address_with_higher_uword_msb(c);
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
562 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(c_next - c));
563 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(c_next - c));
564 c = c_next;
569 Addr c_next = first_address_with_same_uword_lsb(b_next);
572 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
573 tl_assert(c_next <= b_next);
575 if (c_next > c)
578 VG_(memset)(&p2->bm1.bm0_r[idx], 0, SCALED_SIZE((c_next - c) / 8));
579 VG_(memset)(&p2->bm1.bm0_w[idx], 0, SCALED_SIZE((c_next - c) / 8));
580 c = c_next;
635 Addr c_next = first_address_with_higher_uword_msb(c);
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
642 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(c_next - c));
643 c = c_next;
651 Addr c_next = first_address_with_same_uword_lsb(b_next);
654 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
655 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
658 if (c_next > c)
661 VG_(memset)(&p2->bm1.bm0_r[idx], 0, SCALED_SIZE((c_next - c) / 8));
662 c = c_next;
717 Addr c_next = first_address_with_higher_uword_msb(c);
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
724 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(c_next - c));
725 c = c_next;
733 Addr c_next = first_address_with_same_uword_lsb(b_next);
736 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
737 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
740 if (c_next > c)
743 VG_(memset)(&p2->bm1.bm0_w[idx], 0, SCALED_SIZE((c_next - c) / 8));
744 c = c_next;
