IOMMU_L1_BLOCK
if (desc == IOMMU_L1_BLOCK) {
CTASSERT(IOMMU_L1_BLOCK == IOMMU_L2_BLOCK);
if ((l1e & ATTR_DESCR_MASK) == IOMMU_L1_BLOCK) {
#define IOMMU_L2_BLOCK IOMMU_L1_BLOCK