x86_64: cleaned up corner cases in pmap code.
authorSimon Gerber <simon.gerber@hp.com>
Tue, 15 Jul 2014 01:51:37 +0000 (18:51 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:28:13 +0000 (11:28 +0200)
commitbc089f28698cf2d4c7206dbf85cd83a53db598df
tree30811889af35ada7f0e1dafdc265d393da3b69ec
parent81f7e01d2167b7cc6500a0f0efe59bafac8d8348
x86_64: cleaned up corner cases in pmap code.

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