/Makefile.inc/1.2/Wed Apr 22 18:12:39 2015//Tnetbsd-10
/rump_x86_abi.c/1.2/Tue Jan 26 23:12:18 2016//Tnetbsd-10
/rump_x86_cpu.c/1.5/Sun Aug 21 10:18:11 2022//Tnetbsd-10
/rump_x86_cpu_counter.c/1.2/Mon Jun 15 09:09:24 2020//Tnetbsd-10
/rump_x86_pmap.c/1.5/Sun Aug 21 12:08:12 2022//Tnetbsd-10
/rump_x86_spinlock.c/1.1/Wed Feb 12 22:28:43 2014//Tnetbsd-10
/rump_x86_spl.c/1.2/Tue Jan 26 23:12:18 2016//Tnetbsd-10
D