Lines Matching refs:l4tab
1650 l4_pgentry_t *l4tab = map_domain_page(mfn); in fill_ro_mpt() local
1653 if ( !l4e_get_intpte(l4tab[l4_table_offset(RO_MPT_VIRT_START)]) ) in fill_ro_mpt()
1655 l4tab[l4_table_offset(RO_MPT_VIRT_START)] = in fill_ro_mpt()
1659 unmap_domain_page(l4tab); in fill_ro_mpt()
1666 l4_pgentry_t *l4tab = map_domain_page(mfn); in zap_ro_mpt() local
1668 l4tab[l4_table_offset(RO_MPT_VIRT_START)] = l4e_empty(); in zap_ro_mpt()
1669 unmap_domain_page(l4tab); in zap_ro_mpt()
2740 l4_pgentry_t *l4tab = NULL; in vcpu_destroy_pagetables() local
2748 l4tab = map_domain_page(_mfn(mfn)); in vcpu_destroy_pagetables()
2749 mfn = l4e_get_pfn(*l4tab); in vcpu_destroy_pagetables()
2761 if ( l4tab ) in vcpu_destroy_pagetables()
2764 l4e_write(l4tab, l4e_empty()); in vcpu_destroy_pagetables()
2765 unmap_domain_page(l4tab); in vcpu_destroy_pagetables()