diff options
| author | Damien Zammit <damien@zamaudio.com> | 2023-02-01 10:05:39 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-01 18:59:20 +0100 |
| commit | f728cc0ce24020f644ad48f0088783f0f68dd11a (patch) | |
| tree | 28b7b35033008ab4056332443e11e27a48c32ff2 /i386/intel | |
| parent | 804ceef34074c661ce6e44cf4a44d88a501a633e (diff) | |
| download | gnumach-f728cc0ce24020f644ad48f0088783f0f68dd11a.tar.gz gnumach-f728cc0ce24020f644ad48f0088783f0f68dd11a.tar.bz2 gnumach-f728cc0ce24020f644ad48f0088783f0f68dd11a.zip | |
pmap: Debug printf when pmap_update_interrupt runs
Message-Id: <20230201100519.784297-2-damien@zamaudio.com>
Diffstat (limited to 'i386/intel')
| -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 |