Searched refs:pl4e (Results 1 – 6 of 6) sorted by relevance
52 l4_pgentry_t *pl4e; in mark_pv_pt_pages_rdonly() local57 pl4e = l4start + l4_table_offset(vpt_start); in mark_pv_pt_pages_rdonly()58 pl3e = l4e_to_l3e(*pl4e); in mark_pv_pt_pages_rdonly()88 pl3e = l4e_to_l3e(*++pl4e); in mark_pv_pt_pages_rdonly()103 l4_pgentry_t *pl4e, *l4start = map_domain_page(_mfn(pgtbl_pfn)); in setup_pv_physmap() local132 pl4e = l4start + l4_table_offset(vphysmap_start); in setup_pv_physmap()133 if ( !l4e_get_intpte(*pl4e) ) in setup_pv_physmap()144 *pl4e = l4e_from_page(page, L4_PROT); in setup_pv_physmap()146 pl3e = map_l3t_from_l4e(*pl4e); in setup_pv_physmap()
121 l4_pgentry_t *pl4e; in replace_va_mapping() local126 pl4e = l4start + l4_table_offset(va); in replace_va_mapping()127 pl3e = l4e_to_l3e(*pl4e); in replace_va_mapping()
728 l4_pgentry_t *pl4e = in read_cr() local731 mfn = l4e_get_mfn(*pl4e); in read_cr()732 unmap_domain_page(pl4e); in read_cr()
1714 unmap_domain_page(pl4e); in alloc_l4_table()1718 pl4e[i] = adjust_guest_l4e(pl4e[i], d); in alloc_l4_table()1723 init_xen_l4_slots(pl4e, _mfn(pfn), in alloc_l4_table()1728 unmap_domain_page(pl4e); in alloc_l4_table()1841 unmap_domain_page(pl4e); in free_l4_table()2125 static int mod_l4_entry(l4_pgentry_t *pl4e, in mod_l4_entry() argument2138 pgentry_ptr_to_slot(pl4e)); in mod_l4_entry()2806 rc = mod_l4_entry(pl4e, in new_guest_cr3()2811 unmap_domain_page(pl4e); in new_guest_cr3()4486 l4_pgentry_t *pl4e; in virt_to_xen_l3e() local[all …]
999 l4_pgentry_t *pl4e; in __start_xen() local1019 pl4e = __va(__pa(idle_pg_table)); in __start_xen()1020 for ( i = 0 ; i < L4_PAGETABLE_ENTRIES; i++, pl4e++ ) in __start_xen()1022 if ( !(l4e_get_flags(*pl4e) & _PAGE_PRESENT) ) in __start_xen()1024 *pl4e = l4e_from_intpte(l4e_get_intpte(*pl4e) + in __start_xen()1026 pl3e = l4e_to_l3e(*pl4e); in __start_xen()
1176 l4_pgentry_t *pl4e = NULL; in handle_memadd_fault() local1194 pl4e = map_domain_page(_mfn(mfn)); in handle_memadd_fault()1196 l4e = pl4e[0]; in handle_memadd_fault()1232 if ( pl4e ) in handle_memadd_fault()1233 unmap_domain_page(pl4e); in handle_memadd_fault()
Completed in 22 milliseconds