Lines Matching refs:unmap_domain_page

230     unmap_domain_page(l3p);  in shadow_check_gwalk()
237 unmap_domain_page(l2p); in shadow_check_gwalk()
247 unmap_domain_page(l1p); in shadow_check_gwalk()
265 unmap_domain_page(l1p); in shadow_check_gl1e()
850 if ( map != NULL ) unmap_domain_page(map); in shadow_write_entries()
1314 unmap_domain_page(_sp); \
1354 unmap_domain_page(_sp); \
1377 unmap_domain_page(_sp); \
1404 unmap_domain_page(_sp); \
1425 unmap_domain_page(_sp); \
1446 unmap_domain_page(_sp); \
1517 unmap_domain_page(l4t); in sh_make_shadow()
1529 unmap_domain_page(l2t); in sh_make_shadow()
1601 unmap_domain_page(l3e); in sh_make_monitor_table()
1620 unmap_domain_page(l2t); in sh_make_monitor_table()
1622 unmap_domain_page(l3e); in sh_make_monitor_table()
1628 unmap_domain_page(l4e); in sh_make_monitor_table()
2027 unmap_domain_page(l3e); in sh_destroy_monitor_table()
2039 unmap_domain_page(l3e); in sh_destroy_monitor_table()
2042 unmap_domain_page(l4e); in sh_destroy_monitor_table()
2289 unmap_domain_page(snp); in validate_gl1e()
2344 unmap_domain_page(gp); in sh_resync_l1()
2345 unmap_domain_page(snp); in sh_resync_l1()
2453 unmap_domain_page(sl1p); in sh_map_and_validate()
2463 unmap_domain_page(sl1p); in sh_map_and_validate()
2685 unmap_domain_page(gl1p); in sh_prefetch()
2688 unmap_domain_page(snpl1p); in sh_prefetch()
3232 unmap_domain_page(snp); in sh_page_fault()
3798 unmap_domain_page(ml4e); in sh_update_linear_entries()
3837 unmap_domain_page(ml4e); in sh_update_linear_entries()
3842 unmap_domain_page(ml3e); in sh_update_linear_entries()
3858 unmap_domain_page(ml2e); in sh_update_linear_entries()
4104 unmap_domain_page(gl3e); in sh_update_cr3()
4319 unmap_domain_page(sl1p); in sh_rm_write_access_from_sl1p()
4328 unmap_domain_page(sl1p); in sh_rm_write_access_from_sl1p()
4638 unmap_domain_page(gl3pa); in sh_pagetable_dying()
4912 unmap_domain_page(gp); in sh_audit_l1_table()
4989 unmap_domain_page(gp); in sh_audit_l2_table()
5040 unmap_domain_page(gp); in sh_audit_l3_table()
5085 unmap_domain_page(gp); in sh_audit_l4_table()