flusher.h

Go to the documentation of this file.
00001 /*!
00002  * \file        log/server/src/flusher.h
00003  * \brief       Log-Server, functions dealing with flushing the buffer
00004  *
00005  * \date        03/02/2001
00006  * \author      Jork Loeser <jork.loeser@inf.tu-dresden.de>
00007  *
00008  */
00009 /* (c) 2003 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 
00014 #ifndef __LOG_SERVER_SRC_FLUSHER_H_
00015 #define __LOG_SERVER_SRC_FLUSHER_H_
00016 
00017 extern int flusher_prio;
00018 extern l4_threadid_t main_thread, flusher_thread;
00019 
00020 extern int flusher_init(void);
00021 extern int flush_buffer(void);
00022 extern int do_flush_buffer(void);
00023 
00024 #endif