[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt runs
|
From: |
Damien Zammit |
|
Subject: |
[PATCH 1/5 gnumach] pmap: Debug printf when pmap_update_interrupt runs |
|
Date: |
Wed, 01 Feb 2023 10:05:39 +0000 |
---
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