sizeof(dev_entry_t), gbdf);
ASSERT(mfn_valid(dte_mfn));
+ /* Read guest dte information */
dte_base = map_domain_page(dte_mfn);
gdte = dte_base + gbdf % (PAGE_SIZE / sizeof(dev_entry_t));
gdom_id = get_domid_from_dte(gdte);
gcr3_gfn = get_guest_cr3_from_dte(gdte);
+ glx = get_glx_from_dte(gdte);
+ gv = get_gv_from_dte(gdte);
+
+ unmap_domain_page(dte_base);
/* Do not update host dte before gcr3 has been set */
if ( gcr3_gfn == 0 )
ASSERT(mfn_valid(gcr3_mfn));
- /* Read guest dte information */
iommu = find_iommu_for_device(0, mbdf);
if ( !iommu )
{
return -ENODEV;
}
- glx = get_glx_from_dte(gdte);
- gv = get_gv_from_dte(gdte);
-
- unmap_domain_page(dte_base);
-
/* Setup host device entry */
hdom_id = host_domid(d, gdom_id);
req_id = get_dma_requestor_id(iommu->seg, mbdf);