monitor.h

Go to the documentation of this file.
00001 /*!
00002  * \file   cpu_reserve/server/src/monitor.h
00003  * \brief  Prototypes for rt-mon interface functions
00004  *
00005  * \date   11/12/2004
00006  * \author Jork Loeser <jork.loeser@inf.tu-dresden.de>
00007  *
00008  */
00009 /* (c) 2004 Technische Universitaet Dresden
00010  * This file is part of DROPS, which is distributed under the terms of the
00011  * GNU General Public License 2. Please see the COPYING file for details.
00012  */
00013 #ifndef __CPU_RESERVE_SERVER_SRC_MONITOR_H_
00014 #define __CPU_RESERVE_SERVER_SRC_MONITOR_H_
00015 #include <l4/sys/types.h>
00016 #include <l4/rt_mon/histogram.h>
00017 #include "sched.h"
00018 
00019 extern int monitor_enable;
00020 int monitor_start(const sched_t *sched, const l4_threadid_t *thread);
00021 void monitor_thread_dl(l4_threadid_t *thread, l4_cpu_time_t time);
00022 
00023 #endif