smmu_pmap_load
l1 = (pd_entry_t *)PHYS_TO_DMAP(smmu_pmap_load(l0) & ~ATTR_MASK);
if ((smmu_pmap_load(l0) & ATTR_DESCR_MASK) != IOMMU_L0_TABLE)
l1 = smmu_pmap_load(l1p);
if ((smmu_pmap_load(l1) & ATTR_DESCR_MASK) != IOMMU_L1_TABLE)
l2 = smmu_pmap_load(l2p);
desc = smmu_pmap_load(l0) & ATTR_DESCR_MASK;
desc = smmu_pmap_load(l1) & ATTR_DESCR_MASK;
desc = smmu_pmap_load(l2) & ATTR_DESCR_MASK;
desc = smmu_pmap_load(l1) & ATTR_DESCR_MASK;
desc = smmu_pmap_load(l2) & ATTR_DESCR_MASK;
if ((smmu_pmap_load(l3) & ATTR_DESCR_MASK) != IOMMU_L3_PAGE)
tl1 = smmu_pmap_load(l1);
tl0 = smmu_pmap_load(l0);
tl0 = smmu_pmap_load(l0);
l1 = (pd_entry_t *)PHYS_TO_DMAP(smmu_pmap_load(l0) &~ATTR_MASK);
tl0 = smmu_pmap_load(l0);
tl0 = smmu_pmap_load(l0);
tl1 = smmu_pmap_load(l1);
l2 = (pd_entry_t *)PHYS_TO_DMAP(smmu_pmap_load(l1) &~ATTR_MASK);
orig_l3 = smmu_pmap_load(l3);
orig_l3 = smmu_pmap_load(l3);