K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-04-13T16:57:02.214210Z
K 7
svn:log
V 161
Rather than checking if the top bit in a virtual address is a 0 or 1
compare against VM_MAXUSER_ADDRESS as we should have been doing.

Sponsored by:	DARPA, AFRL

END