Make intr_stubs const.

diff --git a/src/threads/intr-stubs.h b/src/threads/intr-stubs.h
index 5ff91649a6fcdfd2c322acdba277556e33de3c0e..b1f503943a852b23909d569c76756e9731cd47ec 100644 (file)
--- a/src/threads/intr-stubs.h
+++ b/src/threads/intr-stubs.h
@@ -1,7 +1,7 @@
 #ifndef HEADER_INTR_STUBS_H
 #define HEADER_INTR_STUBS_H
 
-extern void (*intr_stubs[256]) (void);
+extern void (*const intr_stubs[256]) (void);
 
 void intr_entry (void);
 void intr_exit (void);