K 10
svn:author
V 8
jhibbits
K 8
svn:date
V 27
2016-01-14T23:22:43.586627Z
K 7
svn:log
V 281
Adjust VM_MAX_KERNEL_ADDRESS to the max address, not the minimum next.

VM_MAX_KERNEL_ADDERESS is the maximum KVA address.  0xf8000000 is the start of
device mapping space.  Since several conditional checks use '<=' against
VM_MAX_KERNEL_ADDRESS, bad things could feasibly happen.

END