K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2013-02-18T01:02:48.962505Z
K 7
svn:log
V 269
On arm, like sparc64, the end of the kernel map varies from one type of
machine to another.  Therefore, VM_MAX_KERNEL_ADDRESS can't be a constant.
Instead, #define it to be a variable, vm_max_kernel_address, just like we
do on sparc64.

Reviewed by:	kib
Tested by:	ian

END