x86: implement modify flags for x86_32 and improve modify flags for x86_64.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 11 Jun 2015 16:52:00 +0000 (18:52 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 11 Jun 2015 16:52:05 +0000 (18:52 +0200)
commite0c78b411a91deab994679753e35fab6752c5d16
treeeb16c08f481bba0a273c8733c4fa24c79d57d1b7
parentd6cdce29fc10d97fd61a5c272868e102e1c2863d
x86: implement modify flags for x86_32 and improve modify flags for x86_64.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
errors/errno.fugu
include/arch/x86_32/barrelfish/invocations_arch.h
include/target/x86_32/barrelfish_kpi/paging_target.h
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/include/target/x86_32/paging_kernel_target.h
lib/barrelfish/target/x86_32/pmap_target.c
lib/barrelfish/target/x86_64/pmap_target.c