T73: fix modify_flags for parts of region + test.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 3 Mar 2015 15:08:41 +0000 (16:08 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 11 Jun 2015 15:48:14 +0000 (17:48 +0200)
commit0323e3cd178365399091788ec56ab1c1b27c9398
tree83ba7f38965fc67ac31febd91f7d13e7e71e3b5b
parent2695e30f3d27fa962e8e01befd953ee97c9d1054
T73: fix modify_flags for parts of region + test.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/arch/armv5/paging.c
kernel/arch/armv7-m/paging.c
kernel/arch/armv7/paging.c
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/include/paging_generic.h
kernel/paging_generic.c
lib/barrelfish/target/x86/pmap_x86.c
lib/barrelfish/target/x86_64/pmap_target.c
usr/tests/nkm/modify_flags.c