diff options
| -rw-r--r-- | src/drivers/generic/debug/debug_dev.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/generic/debug/debug_dev.c b/src/drivers/generic/debug/debug_dev.c index 77c30edbf9..94ff870fee 100644 --- a/src/drivers/generic/debug/debug_dev.c +++ b/src/drivers/generic/debug/debug_dev.c @@ -238,7 +238,7 @@ static void debug_init(device_t dev) switch(dev->path.pnp.device) { case 0: parent = dev->bus->dev; - printk_debug("CONFIG_DEBUG: %s", dev_path(parent)); + printk_debug("DEBUG: %s", dev_path(parent)); if(parent->chip_ops && parent->chip_ops->name) { printk_debug(": %s\n", parent->chip_ops->name); } else { |