HomeFreeBSD

Use the correct value of the IS selector in tlbiel when flushing the TLB.

Description

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.

Details