fixed bad spacing
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:29:43 +0000 (20:29 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:29:43 +0000 (20:29 -0800)
commit9971e0c110525d3b58c076d15be270fae4dbdec8
tree4674aa479e3047e137be99790187d224134a16d5
parent3a882a8f95a38ae36daed3d2eb4a9627628c85c9
fixed bad spacing
kern/src/pmap.c