diff options
| author | Damien Zammit <damien@zamaudio.com> | 2023-01-31 09:39:53 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-01-31 20:50:38 +0100 |
| commit | 8c87a640763c20238b6f28ba6bcbc54914d11664 (patch) | |
| tree | 1f0019e0ff6adf0b46a1c596830aced6884ca194 /i386 | |
| parent | a3be90cde2231e2c28126f8b55d90940a69975b2 (diff) | |
| download | gnumach-8c87a640763c20238b6f28ba6bcbc54914d11664.tar.gz gnumach-8c87a640763c20238b6f28ba6bcbc54914d11664.tar.bz2 gnumach-8c87a640763c20238b6f28ba6bcbc54914d11664.zip | |
Debug printf when sending TLB IPI
Message-Id: <20230131093428.756906-13-damien@zamaudio.com>
Diffstat (limited to 'i386')
| -rw-r--r-- | i386/i386/smp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/i386/i386/smp.c b/i386/i386/smp.c index acf69d21..c6a62958 100644 --- a/i386/i386/smp.c +++ b/i386/i386/smp.c @@ -53,7 +53,7 @@ void smp_pmap_update(unsigned apic_id) cpu_intr_save(&flags); - printf("Sending IPI(%u) to call TLB shootdown...", apic_id); + 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 { |