plain -current:
   
   	256.8u 92.5s 2:56.98 197.4% 0+0k 0+7755io 0pf+0w
   	256.0u 93.6s 2:56.94 197.6% 0+0k 0+7751io 0pf+0w
   
   old amd64/pmap.c with -current:
   
   	241.7u 77.5s 2:41.72 197.4% 0+0k 0+7742io 0pf+0w
   	242.7u 76.4s 2:41.71 197.4% 0+0k 0+7747io 0pf+0w
   
   1 month old kernel:
   
   	241.3u 73.2s 2:41.65 194.5% 0+0k 33+7748io 125pf+0w
   	242.1u 72.6s 2:39.51 197.3% 0+0k 0+7745io 0pf+0w


i meant to include SCHED_M2 results as well.

plain -current and SCHED_M2:

	253.9u 93.0s 2:57.74 195.2% 0+0k 0+7753io 0pf+0w
	255.5u 91.7s 2:57.25 195.9% 0+0k 0+7759io 0pf+0w

old amd64/pmap.c and -current and SCHED_M2:

	239.6u 76.2s 2:41.79 195.2% 0+0k 0+7754io 0pf+0w
	240.5u 75.1s 2:41.79 195.1% 0+0k 0+7748io 0pf+0w



.mrg.