Searched refs:l3t (Results 1 – 4 of 4) sorted by relevance
97 l3_pgentry_t l3e, *l3t; in dbg_pv_va2mfn() local120 l3t = map_domain_page(mfn); in dbg_pv_va2mfn()121 l3e = l3t[l3_table_offset(vaddr)]; in dbg_pv_va2mfn()122 unmap_domain_page(l3t); in dbg_pv_va2mfn()124 DBGP2("l3t:%p l3to:%lx l3e:%lx mfn:%#"PRI_mfn"\n", l3t, in dbg_pv_va2mfn()
1179 l3_pgentry_t l3e, *l3t; in __page_fault_type() local1220 l3t = map_domain_page(_mfn(mfn)); in __page_fault_type()1221 l3e = l3e_read_atomic(&l3t[l3_table_offset(addr)]); in __page_fault_type()1223 unmap_domain_page(l3t); in __page_fault_type()
188 l3_pgentry_t l3e, *l3t; in show_page_walk() local208 l3t = map_domain_page(_mfn(mfn)); in show_page_walk()209 l3e = l3t[l3_table_offset(addr)]; in show_page_walk()210 unmap_domain_page(l3t); in show_page_walk()
51 l3_pgentry_t l3e, *l3t; in do_page_walk() local64 l3t = map_l3t_from_l4e(l4e); in do_page_walk()65 l3e = l3t[l3_table_offset(addr)]; in do_page_walk()66 unmap_domain_page(l3t); in do_page_walk()
Completed in 9 milliseconds