In pmap_{,k}remove(), be more careful when deciding to flush the caches, if the kernel is configured with HP MMU support, but does not run with one. This speeds up most hp300 systems quite a bit.
In pmap_{,k}remove(), be more careful when deciding to flush the caches, if the
kernel is configured with HP MMU support, but does not run with one.
This speeds up most hp300 systems quite a bit.

Tested millert@

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars