K 10 svn:author V 5 peter K 8 svn:date V 27 2001-08-31T06:19:08.000000Z K 7 svn:log V 82 Same treatment as i386/isa/pmap.c - clean up some style to sync towards KSE diff. END