1/** 2 * \file 3 * \brief Essential capability definitions. 4 */ 5 6/* 7 * Copyright (c) 2007, 2008, 2009, 2010, 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 BARRELFISH_KPI_SYS_DEBUG_H 16#define BARRELFISH_KPI_SYS_DEBUG_H 17 18enum debug_message { 19 DEBUG_CONTEXT_COUNTER_RESET, 20 DEBUG_CONTEXT_COUNTER_READ, 21 DEBUG_TIMESLICE_COUNTER_READ, 22 DEBUG_FLUSH_CACHE, 23 DEBUG_FLUSH_TLB, 24 DEBUG_SEND_IPI, 25 DEBUG_SET_BREAKPOINT, 26 DEBUG_SEND_NOTIFY, 27 DEBUG_SLEEP, 28 DEBUG_HARDWARE_TIMER_READ, 29 DEBUG_HARDWARE_TIMER_HERTZ_READ, 30 DEBUG_HARDWARE_GLOBAL_TIMER_LOW, 31 DEBUG_HARDWARE_GLOBAL_TIMER_HIGH, 32 DEBUG_GET_TSC_PER_MS, 33 DEBUG_GET_APIC_TIMER, 34 DEBUG_GET_APIC_TICKS_PER_SEC, 35 DEBUG_FEIGN_FRAME_CAP, 36 DEBUG_TRACE_PMEM_CTRL, 37 DEBUG_GET_APIC_ID, 38 DEBUG_CREATE_IRQ_SRC_CAP, 39 DEBUG_GET_MDB_SIZE, 40 DEBUG_PRINT_MDB_COUNTERS, 41}; 42 43#endif //BARRELFISH_KPI_SYS_DEBUG_H 44