Fixed libbarrelfish modify_flags code to do correct inside_region() calls.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 22 Jan 2014 14:54:48 +0000 (15:54 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 22 Jan 2014 14:54:48 +0000 (15:54 +0100)
commit36ed3aaf4471e29f01af362dc9a623cfc12735b2
tree2dd2311cbf3fa3f0a4f23dc9e8c08c2ce4afa36d
parent8ae4abcedf8363e69a0d98e83ee5c703cb3305e0
Fixed libbarrelfish modify_flags code to do correct inside_region() calls.
lib/barrelfish/arch/arm/pmap_arch.c
lib/barrelfish/target/x86_32/pmap_target.c
lib/barrelfish/target/x86_64/pmap_target.c