1. 2013-09-18 [1] CAI_L3CACHE SAITOH Masa 2. 2013-09-10 [6] use of MI "pcu" code for x86 FPU, allocate F Matthias Dr 3. 2013-09-03 [1] reading MSRs from userland? Aaron J. Gr