Lines Matching refs:VG_PGROUNDDN
1863 Addr old_bottom_page = VG_PGROUNDDN(a - 1);1864 Addr new_top_page = VG_PGROUNDDN(a + len - 1);1866 ms_record_page_mem(VG_PGROUNDDN(a),1890 Addr new_bottom_page = VG_PGROUNDDN(a - 1);1891 Addr old_top_page = VG_PGROUNDDN(a + len - 1);1893 ms_unrecord_page_mem(VG_PGROUNDDN(a),