Searched refs:l4tab (Results 1 – 4 of 4) sorted by relevance
/xen/xen/arch/x86/pv/ |
A D | domain.c | 122 l4_pgentry_t *l4tab; in setup_compat_l4() local 130 l4tab = map_domain_page(mfn); in setup_compat_l4() 131 clear_page(l4tab); in setup_compat_l4() 132 init_xen_l4_slots(l4tab, mfn, v->domain, INVALID_MFN, false); in setup_compat_l4() 133 unmap_domain_page(l4tab); in setup_compat_l4()
|
A D | dom0_build.c | 308 l4_pgentry_t *l4tab = NULL, *l4start = NULL; in dom0_construct_pv() local 604 l4start = l4tab = __va(mpt_alloc); mpt_alloc += PAGE_SIZE; in dom0_construct_pv() 605 clear_page(l4tab); in dom0_construct_pv() 606 init_xen_l4_slots(l4tab, _mfn(virt_to_mfn(l4start)), in dom0_construct_pv() 613 l4start = l4tab = __va(pagetable_get_paddr(v->arch.guest_table)); in dom0_construct_pv() 619 l4tab += l4_table_offset(v_start); in dom0_construct_pv() 649 *l4tab = l4e_from_paddr(__pa(l3start), L4_PROT); in dom0_construct_pv() 650 l4tab++; in dom0_construct_pv()
|
/xen/xen/arch/x86/ |
A D | domain.c | 976 l4_pgentry_t *l4tab = map_domain_page(_mfn(pfn)); in arch_set_info_guest() local 978 pfn = l4e_get_pfn(*l4tab); in arch_set_info_guest() 979 unmap_domain_page(l4tab); in arch_set_info_guest() 1186 l4_pgentry_t *l4tab; in arch_set_info_guest() local 1188 l4tab = map_domain_page(pagetable_get_mfn(v->arch.guest_table)); in arch_set_info_guest() 1189 *l4tab = l4e_from_mfn(page_to_mfn(cr3_page), in arch_set_info_guest() 1191 unmap_domain_page(l4tab); in arch_set_info_guest()
|
A D | mm.c | 1739 l4_pgentry_t *l4tab = map_domain_page(mfn); in fill_ro_mpt() local 1742 if ( !l4e_get_intpte(l4tab[l4_table_offset(RO_MPT_VIRT_START)]) ) in fill_ro_mpt() 1744 l4tab[l4_table_offset(RO_MPT_VIRT_START)] = in fill_ro_mpt() 1748 unmap_domain_page(l4tab); in fill_ro_mpt() 1755 l4_pgentry_t *l4tab = map_domain_page(mfn); in zap_ro_mpt() local 1757 l4tab[l4_table_offset(RO_MPT_VIRT_START)] = l4e_empty(); in zap_ro_mpt() 1758 unmap_domain_page(l4tab); in zap_ro_mpt() 3138 l4_pgentry_t *l4tab = map_domain_page(_mfn(mfn)); in vcpu_destroy_pagetables() local 3140 mfn = l4e_get_pfn(*l4tab); in vcpu_destroy_pagetables() 3141 l4e_write(l4tab, l4e_empty()); in vcpu_destroy_pagetables() [all …]
|
Completed in 17 milliseconds