Clarification.
[pintos-anon] / src / threads /
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 52 Make.vars
-rw-r--r-- 27 Makefile
drwxr-xr-x - build
-rw-r--r-- 209 flags.h
-rw-r--r-- 8178 init.c
-rw-r--r-- 422 init.h
-rw-r--r-- 12100 interrupt.c
-rw-r--r-- 2177 interrupt.h
-rw-r--r-- 628 intr-stubs.h
-rwxr-xr-x 920 intr-stubs.pl
-rw-r--r-- 5104 io.h
-rw-r--r-- 577 kernel.lds.S
-rw-r--r-- 8468 loader.S
-rw-r--r-- 1354 loader.h
-rw-r--r-- 6849 malloc.c
-rw-r--r-- 271 malloc.h
-rw-r--r-- 7882 mmu.h
-rw-r--r-- 5635 palloc.c
-rw-r--r-- 623 palloc.h
-rw-r--r-- 413 start.S
-rw-r--r-- 1627 switch.S
-rw-r--r-- 1165 switch.h
-rw-r--r-- 9868 synch.c
-rw-r--r-- 1453 synch.h
-rw-r--r-- 4370 test.c
-rw-r--r-- 94 test.h
-rw-r--r-- 12381 thread.c
-rw-r--r-- 4873 thread.h