From 065eebc5855a6f1676314e8ac464f0382ee47b33 Mon Sep 17 00:00:00 2001 From: Anthony Pesch Date: Tue, 25 Apr 2017 18:01:36 -0400 Subject: [PATCH] update comment style --- src/hw/debugger.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/hw/debugger.c b/src/hw/debugger.c index a200abe8..e4257e3b 100644 --- a/src/hw/debugger.c +++ b/src/hw/debugger.c @@ -57,7 +57,7 @@ static void debugger_gdb_server_read_reg(void *data, int n, intmax_t *value, } int debugger_init(struct debugger *dbg) { - // use the first device found with a debug interface + /* use the first device found with a debug interface */ list_for_each_entry(dev, &dbg->dc->devices, struct device, it) { if (dev->debug_if) { dbg->dev = dev; @@ -65,12 +65,12 @@ int debugger_init(struct debugger *dbg) { } } - // didn't find a debuggable device + /* didn't find a debuggable device */ if (!dbg->dev) { return 0; } - // create the gdb server + /* create the gdb server */ gdb_target_t target; target.ctx = dbg; target.endian = GDB_LITTLE_ENDIAN;