Home | History | Annotate | Download | only in drd

Lines Matching refs:c_next

592          Addr c_next = first_address_with_higher_uword_msb(c);
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
599 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(c_next - c));
600 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(c_next - c));
601 c = c_next;
606 Addr c_next = first_address_with_same_uword_lsb(b_next);
609 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
610 tl_assert(c_next <= b_next);
612 if (c_next > c)
615 c_next - c) / 8));
616 VG_(memset)(&p2->bm1.bm0_w[idx], 0, SCALED_SIZE((c_next - c) / 8));
617 c = c_next;
672 Addr c_next = first_address_with_higher_uword_msb(c);
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
679 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(c_next - c));
680 c = c_next;
688 Addr c_next = first_address_with_same_uword_lsb(b_next);
691 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
692 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
695 if (c_next > c)
698 VG_(memset)(&p2->bm1.bm0_r[idx], 0, SCALED_SIZE((c_next - c) / 8));
699 c = c_next;
754 Addr c_next = first_address_with_higher_uword_msb(c);
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
761 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(c_next - c));
762 c = c_next;
770 Addr c_next = first_address_with_same_uword_lsb(b_next);
773 tl_assert(uword_lsb(address_lsb(c_next)) == 0);
774 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next
777 if (c_next > c)
780 VG_(memset)(&p2->bm1.bm0_w[idx], 0, SCALED_SIZE((c_next - c) / 8));
781 c = c_next;