IOTTE_DEBUG
iommu_enter(sb, dvmaddr, pa, flags | IOTTE_DEBUG(0x8000));
flags | IOTTE_DEBUG(0x4000));
flags | IOTTE_DEBUG(++npg << 12));