[PATCH 4/5 gnumach] Remove verbose debug printfs

[Damien Zammit]

---
 i386/i386/mp_desc.c | 1 -
 i386/i386/smp.c     | 1 -
 i386/intel/pmap.c   | 1 -
 3 files changed, 3 deletions(-)

diff --git a/i386/i386/mp_desc.c b/i386/i386/mp_desc.c
index 446fedb5..e6fcbf62 100644
--- a/i386/i386/mp_desc.c
+++ b/i386/i386/mp_desc.c
@@ -199,7 +199,6 @@ cpu_control(int cpu, const int *info, unsigned int count)
 void
 interrupt_processor(int cpu)
 {
-       printf("interrupt cpu %d\n",cpu);
        smp_pmap_update(apic_get_cpu_apic_id(cpu));
 }

diff --git a/i386/i386/smp.c b/i386/i386/smp.c
index c6a62958..7441ffbb 100644
--- a/i386/i386/smp.c
+++ b/i386/i386/smp.c
@@ -53,7 +53,6 @@ void smp_pmap_update(unsigned apic_id)

     cpu_intr_save(&flags);

-    printf("IPI(%d>%u)\n", cpu_number(), apic_id);
     apic_send_ipi(NO_SHORTHAND, FIXED, PHYSICAL, ASSERT, EDGE, 
CALL_SINGLE_FUNCTION_BASE, apic_id);

     do {
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index 40ddcd6a..0316d15a 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -3054,7 +3054,6 @@ void pmap_update_interrupt(void)
        int             s;

        my_cpu = cpu_number();
-       printf("PMAP(%d)\n", my_cpu);

        /*
         *      Exit now if we're idle.  We'll pick up the update request
--
2.34.1