1/** 2 * \file 3 * \brief Arch-generic system calls implementation. 4 */ 5 6/* 7 * Copyright (c) 2007, 2008, 2009, 2010, 2012, ETH Zurich. 8 * All rights reserved. 9 * 10 * This file is distributed under the terms in the attached LICENSE file. 11 * If you do not find this file, copies can be found by writing to: 12 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group. 13 */ 14 15#ifndef KERNEL_SYS_DEBUG_H 16#define KERNEL_SYS_DEBUG_H 17 18#include <kernel.h> 19#include <barrelfish_kpi/cpu.h> 20#include <barrelfish_kpi/dispatcher_shared_target.h> 21#include <barrelfish_kpi/types.h> 22#include <capabilities.h> 23 24/* 25 * System calls for debug output. 26 */ 27struct sysret 28sys_debug_print_capabilities(void); 29 30errval_t 31debug_print_cababilities(struct dcb *dispatcher); 32 33errval_t irq_debug_create_src_cap(uint8_t dcn_level, capaddr_t dcn, 34 capaddr_t out_cap_addr, uint64_t start, uint64_t end); 35 36/* fetch info about mapping database */ 37errval_t debug_get_mdb_size(size_t *retval); 38 39/* print mapping database operation counters */ 40errval_t debug_print_mdb_counters(void); 41 42#endif 43