Fix two bugs in the base Pintos code:
[pintos-anon] / src / threads /
drwxr-xr-x   ..
-rw-r--r-- 31 .cvsignore
-rw-r--r-- 198 Make.vars
-rw-r--r-- 27 Makefile
-rw-r--r-- 207 flags.h
-rw-r--r-- 10111 init.c
-rw-r--r-- 422 init.h
-rw-r--r-- 13571 interrupt.c
-rw-r--r-- 2591 interrupt.h
-rw-r--r-- 7458 intr-stubs.S
-rw-r--r-- 587 intr-stubs.h
-rw-r--r-- 5464 io.h
-rw-r--r-- 618 kernel.lds.S
-rw-r--r-- 9186 loader.S
-rw-r--r-- 1471 loader.h
-rw-r--r-- 8234 malloc.c
-rw-r--r-- 303 malloc.h
-rw-r--r-- 5607 palloc.c
-rw-r--r-- 623 palloc.h
-rw-r--r-- 4079 pte.h
-rw-r--r-- 474 start.S
-rw-r--r-- 1668 switch.S
-rw-r--r-- 1165 switch.h
-rw-r--r-- 9877 synch.c
-rw-r--r-- 1337 synch.h
-rw-r--r-- 15870 thread.c
-rw-r--r-- 5136 thread.h
-rw-r--r-- 2502 vaddr.h