Added vm_modify_mapping syscall on pmem capabilities. Also lots of debugging printfs.
authorSimon Gerber <simugerber@student.ethz.ch>
Thu, 22 Nov 2012 14:53:14 +0000 (15:53 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Jan 2013 10:31:00 +0000 (11:31 +0100)
commitf7f6b6e5a58d746088ef7abfbdaaa557f3454642
tree649c20512b0688bc614c616aed4db7cc6a407e78
parent914f1fcefd57a7444d773824fba4d78fa59b90d2
Added vm_modify_mapping syscall on pmem capabilities. Also lots of debugging printfs.
errors/errno.fugu
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/capabilities.h
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/syscall.c
kernel/include/paging_generic.h
kernel/include/syscall.h
kernel/syscall.c
lib/barrelfish/target/x86_64/pmap_target.c