K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1986-03-12T11:00:42.000000Z
K 24
svn:entry:committed-date
V 27
1986-03-12T11:00:42.000000Z
K 7
svn:log
V 138
need to raise ipl before freeing page tables (done by vrelu);
might as well free user struct before freeing the page tables that map it.


END
