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),
