K 10
svn:author
V 8
gallatin
K 8
svn:date
V 27
2000-10-09T18:47:49.000000Z
K 7
svn:log
V 227
kernacc() only knows about mapped memory, not K0SEG addresses.
Before calling kernacc(), make sure that we're not calling it
with a K0SEG address.

This gets alphas booting with SMP_DEBUG & INVARIANTS options

approved by: jhb

END