Lines Matching refs:sva
715 unsigned long sva, eva; in cleanup_frame_table() local
723 sva = (unsigned long)pdx_to_page(pfn_to_pdx(spfn)); in cleanup_frame_table()
730 while (sva < eva) in cleanup_frame_table()
732 l3e = l4e_to_l3e(idle_pg_table[l4_table_offset(sva)])[ in cleanup_frame_table()
733 l3_table_offset(sva)]; in cleanup_frame_table()
737 sva = (sva & ~((1UL << L3_PAGETABLE_SHIFT) - 1)) + in cleanup_frame_table()
742 l2e = l3e_to_l2e(l3e)[l2_table_offset(sva)]; in cleanup_frame_table()
749 destroy_xen_mappings(sva & ~((1UL << L2_PAGETABLE_SHIFT) - 1), in cleanup_frame_table()
750 ((sva & ~((1UL << L2_PAGETABLE_SHIFT) -1 )) + in cleanup_frame_table()
753 sva = (sva & ~((1UL << L2_PAGETABLE_SHIFT) -1 )) + in cleanup_frame_table()
758 ASSERT(l1e_get_flags(l2e_to_l1e(l2e)[l1_table_offset(sva)]) & in cleanup_frame_table()
760 sva = (sva & ~((1UL << PAGE_SHIFT) - 1)) + in cleanup_frame_table()