43 lines
1.1 KiB
C
43 lines
1.1 KiB
C
/**
|
|
* \file
|
|
* \brief Arch-generic system calls implementation.
|
|
*/
|
|
|
|
/*
|
|
* Copyright (c) 2007, 2008, 2009, 2010, 2012, ETH Zurich.
|
|
* All rights reserved.
|
|
*
|
|
* This file is distributed under the terms in the attached LICENSE file.
|
|
* If you do not find this file, copies can be found by writing to:
|
|
* ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
|
|
*/
|
|
|
|
#ifndef KERNEL_SYS_DEBUG_H
|
|
#define KERNEL_SYS_DEBUG_H
|
|
|
|
#include <kernel.h>
|
|
#include <barrelfish_kpi/cpu.h>
|
|
#include <barrelfish_kpi/dispatcher_shared_target.h>
|
|
#include <barrelfish_kpi/types.h>
|
|
#include <capabilities.h>
|
|
|
|
/*
|
|
* System calls for debug output.
|
|
*/
|
|
struct sysret
|
|
sys_debug_print_capabilities(void);
|
|
|
|
errval_t
|
|
debug_print_cababilities(struct dcb *dispatcher);
|
|
|
|
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);
|
|
|
|
/* 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
|