Make interrupt.h names more regular.
[pintos-anon] / src / lib /
drwxr-xr-x   ..
-rw-r--r-- 4218 bitmap.c
-rw-r--r-- 1291 bitmap.h
-rw-r--r-- 2474 debug.c
-rw-r--r-- 1826 debug.h
-rw-r--r-- 5588 hash.c
-rw-r--r-- 1453 hash.h
-rw-r--r-- 16735 lib.c
-rw-r--r-- 1569 lib.h
-rw-r--r-- 5253 list.c
-rw-r--r-- 1606 list.h
-rw-r--r-- 1006 random.c
-rw-r--r-- 200 random.h