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