K 10 svn:author V 2 br K 8 svn:date V 27 2018-09-05T09:53:55.399962Z K 7 svn:log V 143 Fix bug: compare uaddr to VM_MAXUSER_ADDRESS, not to a tmp value left by SET_FAULT_HANDLER(). Approved by: re (kib) Sponsored by: DARPA, AFRL END