diff options
Diffstat (limited to 'i386/intel/pmap.c')
| -rw-r--r-- | i386/intel/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |