[PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt runs

[Damien Zammit]

---
 i386/intel/pmap.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index 84a4cef5..0505cfa2 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -2928,6 +2928,7 @@ 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