Searched refs:MDB_DBG_KDI (Results 1 – 3 of 3) sorted by relevance
172 mdb_dprintf(MDB_DBG_KDI, "CPU %d %s halt\n", cpuid, msg); in kdi_halt_cpu()248 mdb_dprintf(MDB_DBG_KDI, "Initializing CPUs\n"); in kmdb_kdi_init_isadep()258 mdb_dprintf(MDB_DBG_KDI, "No CPU freq found - assuming " in kmdb_kdi_init_isadep()
56 #define MDB_DBG_KDI 0x00020000 macro
67 { "kdi", "kernel/debugger interface (kmdb only)", MDB_DBG_KDI },