diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-11 15:52:43 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-11 15:52:43 +0100 |
| commit | 3693b18c744c597326a2cd38b8d1605240771805 (patch) | |
| tree | dc5db67b0aad96557965c7df289e0ba93e72a4a1 | |
| parent | e45601b0780b2c81a6448cdafd952cb98112b9f4 (diff) | |
intnull: Only warn once.
On real hardware, irq 7 seems to get raised often for some reason.
* i386/i386/pic.c (intnull): Only print once the warning about interrupt
being unexpectedly raised.
| -rw-r--r-- | i386/i386/pic.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/i386/i386/pic.c b/i386/i386/pic.c index 1991103a..0feebc6f 100644 --- a/i386/i386/pic.c +++ b/i386/i386/pic.c @@ -174,5 +174,14 @@ picinit(void) void intnull(int unit_dev) { - printf("intnull(%d)\n", unit_dev); + static char warned[NINTR]; + + if (unit_dev >= NINTR) + printf("Unknown interrupt %d\n", unit_dev); + else if (!warned[unit_dev]) + { + printf("intnull(%d)\n", unit_dev); + warned[unit_dev] = 1; + } + } |