/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_spl.c/1.2/Wed Jan 27 03:01:19 2016//
/rump_x86_cpu_counter.c/1.2/Tue Jun 16 03:01:48 2020//
/rump_x86_cpu.c/1.5/Mon Aug 22 03:01:31 2022//
/rump_x86_pmap.c/1.5/Mon Aug 22 03:01:31 2022//
D