[PATCH 24/28] ddb/db_mp.c (remote_db): comment the call to cpu_interrupt_to_db()

[Marin Ramesa]

This wasn't noticed before since the number of cpus is always one I guess, but
cpu_interrupt_to_db() is without definition. Comment the call.

* ddb/db_mp.c (cpu_interrupt_to_db): Comment the call.

---
 ddb/db_mp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ddb/db_mp.c b/ddb/db_mp.c
index b99718e..1b1277e 100644
--- a/ddb/db_mp.c
+++ b/ddb/db_mp.c
@@ -152,7 +152,7 @@ remote_db() {
                machine_slot[i].is_cpu &&
                machine_slot[i].running)
            {
-               cpu_interrupt_to_db(i);
+               /*cpu_interrupt_to_db(i);*/
            }
        }
 }
-- 
1.8.1.4