K 10 svn:author V 3 alc K 8 svn:date V 27 2008-06-29T19:13:27.490319Z K 7 svn:log V 273 Strictly speaking, the definition of VM_MAX_KERNEL_ADDRESS is wrong. However, in practice, the error (currently) makes no difference because the computation performed by KVADDR() hides the error. This revision fixes the error. Also, eliminate a (now) unused definition. END