Home
last modified time | relevance | path

Searched refs:pl4e (Results 1 – 5 of 5) sorted by relevance

/xen/xen/arch/x86/pv/
A Ddom0_build.c52 l4_pgentry_t *pl4e = l4start + l4_table_offset(vpt_start); in mark_pv_pt_pages_rdonly() local
53 l3_pgentry_t *pl3e = map_l3t_from_l4e(*pl4e) + l3_table_offset(vpt_start); in mark_pv_pt_pages_rdonly()
84 pl3e = map_l3t_from_l4e(*++pl4e); in mark_pv_pt_pages_rdonly()
105 l4_pgentry_t *pl4e, *l4start = map_domain_page(_mfn(pgtbl_pfn)); in setup_pv_physmap() local
135 pl4e = l4start + l4_table_offset(vphysmap_start); in setup_pv_physmap()
136 if ( !l4e_get_intpte(*pl4e) ) in setup_pv_physmap()
147 *pl4e = l4e_from_page(page, L4_PROT); in setup_pv_physmap()
149 pl3e = map_l3t_from_l4e(*pl4e); in setup_pv_physmap()
A Demul-priv-op.c741 l4_pgentry_t *pl4e = in read_cr() local
744 mfn = l4e_get_mfn(*pl4e); in read_cr()
745 unmap_domain_page(pl4e); in read_cr()
/xen/xen/arch/x86/
A Dmm.c1779 l4e = pl4e[i]; in promote_l4_table()
1840 pl4e[i] = adjust_guest_l4e(l4e, d); in promote_l4_table()
1845 init_xen_l4_slots(pl4e, l4mfn, in promote_l4_table()
1849 unmap_domain_page(pl4e); in promote_l4_table()
1997 unmap_domain_page(pl4e); in demote_l4_table()
2379 static int mod_l4_entry(l4_pgentry_t *pl4e, in mod_l4_entry() argument
2396 ol4e = l4e_read_atomic(pl4e); in mod_l4_entry()
3209 rc = mod_l4_entry(pl4e, in new_guest_cr3()
3214 unmap_domain_page(pl4e); in new_guest_cr3()
5076 l4_pgentry_t *pl4e; in virt_to_xen_l3e() local
[all …]
A Dsetup.c1214 l4_pgentry_t *pl4e; in __start_xen() local
1243 pl4e = __va(__pa(idle_pg_table)); in __start_xen()
1244 for ( i = 0 ; i < L4_PAGETABLE_ENTRIES; i++, pl4e++ ) in __start_xen()
1246 if ( !(l4e_get_flags(*pl4e) & _PAGE_PRESENT) ) in __start_xen()
1248 *pl4e = l4e_from_intpte(l4e_get_intpte(*pl4e) + in __start_xen()
1250 pl3e = l4e_to_l3e(*pl4e); in __start_xen()
/xen/xen/arch/x86/x86_64/
A Dmm.c1185 l4_pgentry_t *pl4e = NULL; in handle_memadd_fault() local
1203 pl4e = map_domain_page(_mfn(mfn)); in handle_memadd_fault()
1205 l4e = pl4e[0]; in handle_memadd_fault()
1241 if ( pl4e ) in handle_memadd_fault()
1242 unmap_domain_page(pl4e); in handle_memadd_fault()

Completed in 24 milliseconds