Merge distops benchmarking into memory system branch
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:44:55 +0000 (22:44 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:44:55 +0000 (22:44 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

17 files changed:
1  2 
errors/errno.fugu
if/Hakefile
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/syscall.c
kernel/cap_delete.c
kernel/capabilities.c
kernel/include/sys_debug.h
kernel/paging_generic.c
kernel/sys_debug.c
lib/barrelfish/arch/x86/pmap.c
lib/barrelfish/arch/x86/sys_debug.c
lib/barrelfish/arch/x86_64/pmap.c
lib/libc/sys/barrelfish_syscalls.c
lib/posixcompat/Hakefile
platforms/Hakefile
usr/monitor/main.c

Simple merge
diff --cc if/Hakefile
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
@@@ -30,7 -30,10 +30,13 @@@ sys_debug_print_capabilities(void)
  errval_t
  debug_print_cababilities(struct dcb *dispatcher);
  
 -errval_t
 -debug_get_mdb_size(size_t *retval);
 +errval_t irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn,
 +        capaddr_t out_cap_addr, uint64_t start, uint64_t end);
  
 -errval_t
 -debug_print_mdb_counters(void);
++/* fetch info about mapping database */
++errval_t debug_get_mdb_size(size_t *retval);
++
++/* print mapping database operation counters */
++errval_t debug_print_mdb_counters(void);
  #endif
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge