x86: pmap: Added debug output to has_vnode.
authorSimon Gerber <simon.gerber@hp.com>
Sat, 12 Jul 2014 00:23:02 +0000 (17:23 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:28:14 +0000 (11:28 +0200)
commit20787fa3e11db2fe6d1ed1b33dc671e62cd0eaa4
tree644fc0d3c179cdd92748ddce80d13f3aeb3550e4
parent6597d45e28403342c4f765fe3c3f38eb713d2ad1
x86: pmap: Added debug output to has_vnode.

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