| /xen-4.10.0-shim-comet/xen/arch/x86/efi/ |
| A D | runtime.h | 7 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e) in efi_update_l4_pgtable() argument
10 l4e_write(efi_l4_pgtable + l4idx, l4e); in efi_update_l4_pgtable()
|
| A D | stub.c | 53 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e) { } in efi_update_l4_pgtable() argument
|
| /xen-4.10.0-shim-comet/xen/arch/x86/pv/ |
| A D | mm.h | 144 static inline l4_pgentry_t adjust_guest_l4e(l4_pgentry_t l4e, in adjust_guest_l4e() argument
147 if ( likely(l4e_get_flags(l4e) & _PAGE_PRESENT) && in adjust_guest_l4e()
149 l4e_add_flags(l4e, _PAGE_USER); in adjust_guest_l4e()
151 return l4e; in adjust_guest_l4e()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/ |
| A D | debug.c | 96 l4_pgentry_t l4e, *l4t; in dbg_pv_va2mfn() local
109 l4e = l4t[l4_table_offset(vaddr)]; in dbg_pv_va2mfn()
111 mfn = l4e_get_mfn(l4e); in dbg_pv_va2mfn()
113 l4_table_offset(vaddr), l4e, mfn_x(mfn)); in dbg_pv_va2mfn()
114 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ) in dbg_pv_va2mfn()
|
| A D | traps.c | 1178 l4_pgentry_t l4e, *l4t; in __page_fault_type() local
1212 l4e = l4e_read_atomic(&l4t[l4_table_offset(addr)]); in __page_fault_type()
1213 mfn = l4e_get_pfn(l4e); in __page_fault_type()
1215 if ( ((l4e_get_flags(l4e) & required_flags) != required_flags) || in __page_fault_type()
1216 (l4e_get_flags(l4e) & disallowed_flags) ) in __page_fault_type()
1218 page_user &= l4e_get_flags(l4e); in __page_fault_type()
|
| A D | mm.c | 1174 l4_pgentry_t l4e, unsigned long pfn, struct domain *d, int partial) in get_page_from_l4e() argument
1178 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ) in get_page_from_l4e()
1181 if ( unlikely((l4e_get_flags(l4e) & L4_DISALLOW_MASK)) ) in get_page_from_l4e()
1184 l4e_get_flags(l4e) & L4_DISALLOW_MASK); in get_page_from_l4e()
1189 l4e_get_mfn(l4e), PGT_l3_page_table, d, partial, 1); in get_page_from_l4e()
1332 static int put_page_from_l4e(l4_pgentry_t l4e, unsigned long pfn, in put_page_from_l4e() argument
1337 if ( (l4e_get_flags(l4e) & _PAGE_PRESENT) && in put_page_from_l4e()
1338 (l4e_get_pfn(l4e) != pfn) ) in put_page_from_l4e()
1340 struct page_info *pg = l4e_get_page(l4e); in put_page_from_l4e()
4503 l4e_write(pl4e, l4e); in virt_to_xen_l3e()
[all …]
|
| A D | domctl.c | 1685 const l4_pgentry_t *l4e = in arch_get_info_guest() local
1688 c.cmp->ctrlreg[3] = compat_pfn_to_cr3(l4e_get_pfn(*l4e)); in arch_get_info_guest()
1689 unmap_domain_page(l4e); in arch_get_info_guest()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/mm/ |
| A D | guest_walk.c | 136 gw->l4e = l4p[guest_l4_table_offset(va)]; in guest_walk_tables()
137 gflags = guest_l4e_get_flags(gw->l4e); in guest_walk_tables()
142 if ( guest_l4e_rsvd_bits(v, gw->l4e) ) in guest_walk_tables()
154 guest_l4e_get_gfn(gw->l4e), in guest_walk_tables()
461 if ( set_ad_bits(&l4p[guest_l4_table_offset(va)].l4, &gw->l4e.l4, in guest_walk_tables()
|
| A D | p2m-pt.c | 778 l4_pgentry_t *l4e = map_domain_page(mfn); in p2m_pt_get_entry() local
779 l4e += l4_table_offset(addr); in p2m_pt_get_entry()
782 if ( (l4e_get_flags(*l4e) & _PAGE_PRESENT) == 0 ) in p2m_pt_get_entry()
784 unmap_domain_page(l4e); in p2m_pt_get_entry()
787 mfn = l4e_get_mfn(*l4e); in p2m_pt_get_entry()
788 recalc = needs_recalc(l4, *l4e); in p2m_pt_get_entry()
789 unmap_domain_page(l4e); in p2m_pt_get_entry()
992 l4_pgentry_t *l4e; in p2m_pt_audit_p2m() local
1000 if ( !(l4e_get_flags(l4e[i4]) & _PAGE_PRESENT) ) in p2m_pt_audit_p2m()
1005 l3e = map_l3t_from_l4e(l4e[i4]); in p2m_pt_audit_p2m()
[all …]
|
| /xen-4.10.0-shim-comet/xen/arch/x86/x86_64/ |
| A D | traps.c | 187 l4_pgentry_t l4e, *l4t; in show_page_walk() local
197 l4e = l4t[l4_table_offset(addr)]; in show_page_walk()
199 mfn = l4e_get_pfn(l4e); in show_page_walk()
203 l4_table_offset(addr), l4e_get_intpte(l4e), pfn); in show_page_walk()
204 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) || in show_page_walk()
|
| A D | mm.c | 50 l4_pgentry_t l4e, *l4t; in do_page_walk() local
59 l4e = l4t[l4_table_offset(addr)]; in do_page_walk()
61 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ) in do_page_walk()
64 l3t = map_l3t_from_l4e(l4e); in do_page_walk()
897 l4_pgentry_t l4e = idle_pg_table[i]; in subarch_init_memory() local
901 l4e_add_flags(l4e, _PAGE_NX_BIT); in subarch_init_memory()
902 idle_pg_table[i] = l4e; in subarch_init_memory()
1177 l4_pgentry_t l4e; in handle_memadd_fault() local
1196 l4e = pl4e[0]; in handle_memadd_fault()
1198 if (!(l4e_get_flags(l4e) & _PAGE_PRESENT)) in handle_memadd_fault()
[all …]
|
| /xen-4.10.0-shim-comet/xen/include/asm-x86/ |
| A D | guest_pt.h | 323 static inline bool guest_l4e_rsvd_bits(const struct vcpu *v, guest_l4e_t l4e) in guest_l4e_rsvd_bits() argument
325 return l4e.l4 & (guest_rsvd_bits(v) | GUEST_L4_PAGETABLE_RSVD | in guest_l4e_rsvd_bits()
343 guest_l4e_t l4e; /* Guest's level 4 entry */ member
437 gw->l4e.l4, mfn_x(gw->l4mfn)); in print_gw()
|
| A D | page.h | 42 #define l4e_write_atomic(l4ep, l4e) \ argument
43 pte_write_atomic(&l4e_get_intpte(*(l4ep)), l4e_get_intpte(l4e))
55 #define l4e_write(l4ep, l4e) \ argument
56 pte_write(&l4e_get_intpte(*(l4ep)), l4e_get_intpte(l4e))
|
| /xen-4.10.0-shim-comet/xen/arch/x86/mm/hap/ |
| A D | hap.c | 399 l4_pgentry_t *l4e; in hap_make_monitor_table() local
408 l4e = map_domain_page(m4mfn); in hap_make_monitor_table()
410 init_xen_l4_slots(l4e, m4mfn, d, INVALID_MFN, false); in hap_make_monitor_table()
411 unmap_domain_page(l4e); in hap_make_monitor_table()
|
| /xen-4.10.0-shim-comet/xen/common/efi/ |
| A D | boot.c | 1352 l4_pgentry_t l4e = efi_l4_pgtable[l4_table_offset(mfn << PAGE_SHIFT)]; in copy_mapping() local
1359 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ) in copy_mapping()
1368 l3dst = l4e_to_l3e(l4e); in copy_mapping()
1534 l4_pgentry_t l4e = efi_l4_pgtable[l4_table_offset(addr)]; in efi_init_memory() local
1539 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ) in efi_init_memory()
1548 pl3e = l4e_to_l3e(l4e); in efi_init_memory()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/mm/shadow/ |
| A D | multi.c | 227 mismatch |= (gw->l4e.l4 != l4p[guest_l4_table_offset(va)].l4); in shadow_check_gwalk()
1570 l4_pgentry_t *l4e; in sh_make_monitor_table() local
1575 l4e = map_domain_page(m4mfn); in sh_make_monitor_table()
1582 init_xen_l4_slots(l4e, m4mfn, d, INVALID_MFN, false); in sh_make_monitor_table()
1594 l4e[shadow_l4_table_offset(SH_LINEAR_PT_VIRT_START)] in sh_make_monitor_table()
1628 unmap_domain_page(l4e); in sh_make_monitor_table()
2016 l4_pgentry_t *l4e = map_domain_page(mmfn); in sh_destroy_monitor_table() local
2023 m3mfn = l4e_get_mfn(l4e[linear_slot]); in sh_destroy_monitor_table()
2034 ASSERT(l4e_get_flags(l4e[0]) & _PAGE_PRESENT); in sh_destroy_monitor_table()
2035 m3mfn = l4e_get_mfn(l4e[0]); in sh_destroy_monitor_table()
[all …]
|