x86_64: lazily clean up empty page tables when creating large / huge page mappings.
authorSimon Gerber <simon.gerber@hp.com>
Tue, 17 Jun 2014 21:23:52 +0000 (14:23 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commitd294fd5610cf08c6fa20266ef2f5ed611aa67a71
tree6738973ec3ed82473ad09ad6a375175d2dc2ea03
parent0d667869af9373b3dba3071879951576dc7a12d3
x86_64: lazily clean up empty page tables when creating large / huge page mappings.

This enables reusing address ranges that held smaller mappings before when
creating mappings with large or huge pages.  This is necessary as we never
clean up page tables and page directories when unmapping regardless of whether
there's valid entries left in them.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
lib/barrelfish/target/x86_64/pmap_target.c