Ah, I should have mentioned why I was doing this: it's part of Linux KPTI patch analysis (Meltdown) that I've been doing, as the WSS is one factor in the perfor

Ah, I should have mentioned why I was doing this: it's part of Linux KPTI patch analysis (Meltdown) that I've been doing, as the WSS is one factor in the performance loss experienced (due to TLB flushing).