x86_64: cleaned up and refactored pmap unmap code.
authorSimon Gerber <simon.gerber@hp.com>
Mon, 16 Jun 2014 19:54:42 +0000 (12:54 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commit45c8f904bfafd4d044512c113a17c13cab89c580
tree1f36b5ce8e43ab214d1fe0f7feda4288763768b5
parent33a1f19367d4a43c595558f4f7cc14d2feb9087a
x86_64: cleaned up and refactored pmap unmap code.

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