Searched refs:pgd_maddr (Results 1 – 3 of 3) sorted by relevance
35 u64 pgd_maddr; /* io page directory machine address */ member
265 if ( hd->arch.pgd_maddr == 0 ) in addr_to_dma_page_maddr()1330 u64 maddr, pgd_maddr; in domain_context_mapping_one() local1398 if ( hd->arch.pgd_maddr == 0 ) in domain_context_mapping_one()1401 if ( hd->arch.pgd_maddr == 0 ) in domain_context_mapping_one()1412 pgd_maddr = hd->arch.pgd_maddr; in domain_context_mapping_one()1417 struct dma_pte *p = map_vtd_domain_page(pgd_maddr); in domain_context_mapping_one()1418 pgd_maddr = dma_pte_addr(*p); in domain_context_mapping_one()1420 if ( pgd_maddr == 0 ) in domain_context_mapping_one()1424 context_set_address_root(*context, pgd_maddr); in domain_context_mapping_one()1759 hd->arch.pgd_maddr = 0; in iommu_domain_teardown()[all …]
232 update_iommu_mac(&ctx, dio->arch.pgd_maddr, in tboot_gen_domain_integrity()
Completed in 8 milliseconds