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