/Makefile/1.6/Sat Oct 29 03:02:20 2011//
/nmi.9/1.5/Wed Mar 19 03:04:58 2014//
/rdmsr.9/1.4/Sat Feb 18 03:01:02 2017//
/x86_msr_xcall.9/1.5/Sat Feb 18 03:01:02 2017//
/tsc.9/1.8/Mon Feb 20 03:00:57 2017//
D