bug fixes for timer and timer training.
authorDavid Zhu <yuzhu@cs.berkeley.edu>
Tue, 26 May 2009 00:50:01 +0000 (17:50 -0700)
committerDavid Zhu <yuzhu@cs.berkeley.edu>
Tue, 26 May 2009 00:50:01 +0000 (17:50 -0700)
commit71c750346d3fbfe03281c54016ea63f9d6819e4c
treecb223ea05b38b8a9ad5008b0ee62e9875dd0c7d0
parent771189f62cc9e6cb499bcd36d0e7836d627a6603
bug fixes for timer and timer training.

several bugs fixed.
Serialized read tsc was clobbering register values.
We were getting negative reading for trained timer overhead.
Fixed pool implementation so we can iterate through allocated pool
buffers.
inc/pool.h
inc/syscall.h
inc/timer.h
inc/x86.h
kern/init.c
lib/libmain.c
lib/timer.c
user/null.c