Clean up interrupt handling.
[pintos-anon] / src / threads / intr-stubs.h
1 #ifndef HEADER_INTR_STUBS_H
2 #define HEADER_INTR_STUBS_H
3
4 extern void (*intr_stubs[256]) (void);
5
6 void intr_entry (void);
7 void intr_exit (void);
8
9 #endif /* intr-stubs.h */