DBG_MAP_WIN
DBG(DBG_MAP_WIN, dip, "px_dvma_map_fast: "
DBG(DBG_MAP_WIN, dip, "px_dvma_map_fast: redzone pg=%x\n", i + npages);
DBG(DBG_MAP_WIN, dip, "px_dvma_map_fast: "
DBG(DBG_MAP_WIN, dip, "px_mmu_map_pages:%x+%x=%x "
DBG(DBG_MAP_WIN, dip, "px_mmu_map_pages: "
DBG(DBG_MAP_WIN, dip, "px_mmu_map_pages: redzone pg=%x\n",
DBG(DBG_MAP_WIN, dip, "px_mmu_map_pages: mapping "
DBG(DBG_MAP_WIN, dip, "px_lib_iommu_demap: failed\n");
{DBG_MAP_WIN, "map_window"},
DEBUG5(DBG_MAP_WIN, dip,
DEBUG3(DBG_MAP_WIN, dip, "iommu_map_pages: mp=%p pg[%x]=%x\n",
DEBUG3(DBG_MAP_WIN, dip,
DEBUG1(DBG_MAP_WIN, dip, "iommu_map_pages: redzone pg=%x\n",