DB_DVMA
DB_DEBUG2(DB_DVMA, dbp->dip,
DB_DEBUG2(DB_DVMA, dbp->dip, "DVMA size register pair %lx, %lx\n",
DB_DEBUG2(DB_DVMA, dbp->dip, "DVMA BARs set as %x, %x\n",
case DB_DVMA: s = "set_dvma_range"; break;