/Makefile.inc/1.2/Wed Apr 22 18:12:39 2015//Tnetbsd-9
/rump_x86_abi.c/1.2/Tue Jan 26 23:12:18 2016//Tnetbsd-9
/rump_x86_cpu.c/1.4/Tue Jan 26 23:12:18 2016//Tnetbsd-9
/rump_x86_cpu_counter.c/1.1/Wed Feb 12 22:28:43 2014//Tnetbsd-9
/rump_x86_pmap.c/1.4/Tue Jan 26 23:12:18 2016//Tnetbsd-9
/rump_x86_spinlock.c/1.1/Wed Feb 12 22:28:43 2014//Tnetbsd-9
/rump_x86_spl.c/1.2/Tue Jan 26 23:12:18 2016//Tnetbsd-9
D