00001 00008 /* (c) 2004 Technische Universitaet Dresden 00009 * This file is part of DROPS, which is distributed under the terms of the 00010 * GNU General Public License 2. Please see the COPYING file for details. 00011 */ 00012 #ifndef __RT_MON_INCLUDE_MONITOR_H_ 00013 #define __RT_MON_INCLUDE_MONITOR_H_ 00014 00015 #include <l4/rt_mon/types.h> 00016 00017 int rt_mon_request_ds(int num, l4dm_dataspace_t * ds); 00018 int rt_mon_release_ds(int id); 00019 int rt_mon_list_ds(rt_mon_dss ** dss, int count); 00020 00021 #endif