K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2001-12-20T03:49:31.000000Z
K 7
svn:log
V 130
Fix some whitespace nits, and a minor error that I made in some unused
#ifdef DEBUG code (VM_MAXUSER_ADDRESS vs UPT_MAX_ADDRESS).

END