IOMMU_L1_TABLE
if ((smmu_pmap_load(l1) & ATTR_DESCR_MASK) != IOMMU_L1_TABLE)
if (desc != IOMMU_L1_TABLE) {
if (desc != IOMMU_L1_TABLE) {
smmu_pmap_store(l1, VM_PAGE_TO_PHYS(m) | IOMMU_L1_TABLE);
#define IOMMU_L2_TABLE IOMMU_L1_TABLE