libbarrelfish: arm pmap: fix flag passing in modify_flags
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:40:05 +0000 (09:40 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:40:05 +0000 (09:40 +0200)
commitfef88494b53cef5cca094ad0462f992b86dcade3
tree63b8b302188b7433864493004e413b9403c1d81b
parentb7c23cad573d6a69f1b926a002f5d299fd13f9c9
libbarrelfish: arm pmap: fix flag passing in modify_flags

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
lib/barrelfish/arch/arm/pmap_arch.c