K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2016-08-23T21:40:32.107776Z
K 7
svn:log
V 201
Use the correct value of the IS selector in tlbiel when flushing the TLB.
The way-based mechanism (IS=11) on newer CPUs can in principle cause problems
on older ones, so use a CPU-dependent selection.

END