x86_64: pmap do_map fine-grained debug output ctrl.
authorSimon Gerber <simon.gerber@hp.com>
Tue, 17 Jun 2014 20:43:14 +0000 (13:43 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commit0d667869af9373b3dba3071879951576dc7a12d3
treeb2d60e763ef4cf95adc430c171a4ac243d1618c7
parenta325e87705edd4f693d8e1192d89f9c7ce4b2c8a
x86_64: pmap do_map fine-grained debug output ctrl.

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