T77: Implement selective TLB flushing hint for modify_flags.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 11 Mar 2015 18:35:22 +0000 (19:35 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 11 Jun 2015 15:48:14 +0000 (17:48 +0200)
commit47cce963ab0fb585a120519556070af2d321c0db
treead8c019b8567d3140b145574b8f8f909ecf1032f
parent0323e3cd178365399091788ec56ab1c1b27c9398
T77: Implement selective TLB flushing hint for modify_flags.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/arch/x86_64/barrelfish/invocations_arch.h
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/syscall.c
kernel/include/capabilities.h
lib/barrelfish/target/x86_64/pmap_target.c