Searched refs:old_top_page (Results 1 – 1 of 1) sorted by relevance
1919 Addr old_top_page = VG_PGROUNDDN(a + len - 1); in ms_die_mem_brk() local1920 if (old_top_page != new_bottom_page) in ms_die_mem_brk()1922 (old_top_page - new_bottom_page)); in ms_die_mem_brk()