Searched refs:l1t (Results 1 – 6 of 6) sorted by relevance
/xen-4.10.0-shim-comet/xen/arch/x86/ |
A D | debug.c | 99 l1_pgentry_t l1e, *l1t; in dbg_pv_va2mfn() local 146 l1t = map_domain_page(mfn); in dbg_pv_va2mfn() 147 l1e = l1t[l1_table_offset(vaddr)]; in dbg_pv_va2mfn() 148 unmap_domain_page(l1t); in dbg_pv_va2mfn() 150 DBGP2("l1t:%p l1to:%lx l1e:%lx mfn:%#"PRI_mfn"\n", l1t, l1_table_offset(vaddr), in dbg_pv_va2mfn()
|
A D | traps.c | 1181 l1_pgentry_t l1e, *l1t; in __page_fault_type() local 1242 l1t = map_domain_page(_mfn(mfn)); in __page_fault_type() 1243 l1e = l1e_read_atomic(&l1t[l1_table_offset(addr)]); in __page_fault_type() 1245 unmap_domain_page(l1t); in __page_fault_type()
|
/xen-4.10.0-shim-comet/xen/arch/x86/x86_64/ |
A D | traps.c | 190 l1_pgentry_t l1e, *l1t; in show_page_walk() local 236 l1t = map_domain_page(_mfn(mfn)); in show_page_walk() 237 l1e = l1t[l1_table_offset(addr)]; in show_page_walk() 238 unmap_domain_page(l1t); in show_page_walk()
|
A D | mm.c | 53 l1_pgentry_t l1e, *l1t; in do_page_walk() local 88 l1t = map_domain_page(_mfn(mfn)); in do_page_walk() 89 l1e = l1t[l1_table_offset(addr)]; in do_page_walk() 90 unmap_domain_page(l1t); in do_page_walk()
|
/xen-4.10.0-shim-comet/xen/arch/x86/mm/ |
A D | p2m-pt.c | 745 p2m_type_t l1t; in p2m_pt_get_entry() local 879 l1t = p2m_flags_to_type(flags); in p2m_pt_get_entry() 880 if ( !(flags & _PAGE_PRESENT) && !p2m_is_paging(l1t) ) in p2m_pt_get_entry() 883 if ( l1t == p2m_populate_on_demand ) in p2m_pt_get_entry() 896 *t = p2m_recalc_type(recalc || _needs_recalc(flags), l1t, p2m, gfn); in p2m_pt_get_entry()
|
/xen-4.10.0-shim-comet/xen/common/efi/ |
A D | boot.c | 1537 l1_pgentry_t *l1t; in efi_init_memory() local 1565 l1t = alloc_xen_pagetable(); in efi_init_memory() 1566 BUG_ON(!l1t); in efi_init_memory() 1567 clear_page(l1t); in efi_init_memory() 1568 *pl2e = l2e_from_paddr(virt_to_maddr(l1t), __PAGE_HYPERVISOR); in efi_init_memory() 1573 l1t = l2e_to_l1e(*pl2e); in efi_init_memory() 1578 l1t[i] = l1e_from_pfn(extra->smfn, extra->prot); in efi_init_memory()
|
Completed in 14 milliseconds