Free user memory only up to UVPT on x86
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 22 Jan 2010 06:24:57 +0000 (22:24 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 22 Jan 2010 06:24:57 +0000 (22:24 -0800)
commitb0c4aab58b6c208181a40a1a0de31aa0971693a2
tree3b219b8cb19809a3d4b35cde4d0c3ab831f909d9
parent04358db92bb128318b1beade3c1a8df34b5af129
Free user memory only up to UVPT on x86

Not sure about sparc, but we don't want to free the page tables via the
UVPT or VPT mappings during user_mem_free() on x86.
kern/arch/i386/env.c