MDB_DBG_DPI
mdb_dprintf(MDB_DBG_DPI, "returning to driver - cmd %d%s\n", cmd,
mdb_dprintf(MDB_DBG_DPI, "received module load message\n");
mdb_dprintf(MDB_DBG_DPI, "Sending load request for %s back "
mdb_dprintf(MDB_DBG_DPI, "received module load all ack\n");
mdb_dprintf(MDB_DBG_DPI, "received module unload ack\n");
mdb_dprintf(MDB_DBG_DPI, "received path change ack\n");
mdb_dprintf(MDB_DBG_DPI, "processing work queue\n");
mdb_dprintf(MDB_DBG_DPI, "brkpt armed at %p %A\n", (void *)addr, addr);
mdb_dprintf(MDB_DBG_DPI, "brkpt disarmed at %p %A\n", (void *)addr,
mdb_dprintf(MDB_DBG_DPI, "wapt reserve type %d at %p, priv %p\n",
mdb_dprintf(MDB_DBG_DPI, "wapt armed at %p (type %d, priv %p)\n",
mdb_dprintf(MDB_DBG_DPI, "wapt disarmed at %p (type %d, priv %p)\n",
mdb_dprintf(MDB_DBG_DPI, "dpi_set_state %d why %d\n",
{ "dpi", "debugger/PROM interface (kmdb only)", MDB_DBG_DPI },
mdb_dprintf(MDB_DBG_DPI, "\ndpi_handle_fault: trapno %u, pc 0x%0?p, "