Re: rename arm64 memhook

[Todd C. Miller]

On Sat, 17 Feb 2018 20:10:45 +0100, Mark Kettenis wrote:

> Not that vmmap is a much better name, but that's what we use on other
> non-pmap-direct architectures.

Consistency is good, OK millert@

 - todd