Fix formatting.
[pintos-anon] / src / threads /
drwxr-xr-x   ..
-rw-r--r-- 29 Makefile
drwxr-xr-x - build
-rw-r--r-- 4372 init.c
-rw-r--r-- 142 init.h
-rw-r--r-- 7538 interrupt.c
-rw-r--r-- 1122 interrupt.h
-rwxr-xr-x 873 intr-stubs.pl
-rw-r--r-- 2037 io.h
-rw-r--r-- 602 kernel.lds
-rw-r--r-- 4664 loader.S
-rw-r--r-- 2107 malloc.c
-rw-r--r-- 206 malloc.h
-rw-r--r-- 10039 mmu.h
-rw-r--r-- 4669 paging.c
-rw-r--r-- 586 paging.h
-rw-r--r-- 1102 palloc.c
-rw-r--r-- 480 palloc.h
-rw-r--r-- 232 start.S
-rw-r--r-- 774 switch.S
-rw-r--r-- 1082 switch.h
-rw-r--r-- 8150 synch.c
-rw-r--r-- 1076 synch.h
-rw-r--r-- 4759 thread.c
-rw-r--r-- 942 thread.h