Patches 2 and 3 are more work on making tlb flushing more efficient.
Patches 1 and 4 are trivial.
Patch 5 fixes a problem with virtualized time not being fully virtual
with the kernel's current timekeeping.
Jeff
--
Work email - jdike at linux dot intel dot com
-