Searched refs:set_vabits2 (Results 1 – 1 of 1) sorted by relevance
729 void set_vabits2 ( Addr a, UChar vabits2 ) in set_vabits2() function785 set_vabits2(a, vabits2); in set_vbits8()1396 set_vabits2(a + i, vabits2); in set_address_range_perms()1651 set_vabits2(a+i, VA_BITS2_DEFINED); in make_mem_defined_if_addressable()1668 set_vabits2(a+i, VA_BITS2_DEFINED); in make_mem_defined_if_noaccess()1723 set_vabits2( dst+i, vabits2 ); in MC_()1738 set_vabits2( dst+j, vabits2 ); in MC_()1749 set_vabits2( dst+i, vabits2 ); in MC_()