/rump_x86_cpu_counter.c/1.1/Wed Feb 12 22:28:43 2014//
/rump_x86_spinlock.c/1.1/Wed Feb 12 22:28:43 2014//
/Makefile.inc/1.2/Thu Apr 23 03:03:24 2015//
/rump_x86_abi.c/1.2/Wed Jan 27 03:01:19 2016//
/rump_x86_cpu.c/1.4/Wed Jan 27 03:01:19 2016//
/rump_x86_pmap.c/1.4/Wed Jan 27 03:01:19 2016//
/rump_x86_spl.c/1.2/Wed Jan 27 03:01:19 2016//
D
