diff options
| -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; + } + } |