/Makefile.inc/1.6/Wed Jun 16 11:45:21 2010//D2013.05.15.22.00.00
/cpu_counter.c/1.1/Tue May 11 21:03:41 2010//D2013.05.15.22.00.00
/pmap_x86.c/1.3/Sun Jul 22 20:32:31 2012//D2013.05.15.22.00.00
/rumpcpu.c/1.11/Thu May  2 19:15:01 2013//D2013.05.15.22.00.00
/rumpspl.c/1.2/Fri Feb  6 20:01:41 2009//D2013.05.15.22.00.00
/spinlock.c/1.2/Tue Jan 22 22:10:22 2013//D2013.05.15.22.00.00
D
