muxed.h
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014 #ifndef __LOG_SERVER_SRC_MUXED_H_
00015 #define __LOG_SERVER_SRC_MUXED_H_
00016
00017
00018 #define LOG_PROTOCOL_VERSION 0x01
00019
00020
00021 #define LOG_TYPE_UNKNOWN 1
00022 #define LOG_TYPE_DATA 2
00023 #define LOG_TYPE_LOG 3
00024
00025
00026 #define LOG_FLAG_NONE 0
00027
00028
00029 struct muxed_header {
00030 unsigned char version;
00031 unsigned char channel;
00032 unsigned char type;
00033 unsigned char flags;
00034 unsigned int data_length;
00035
00036 };
00037
00038 extern l4_fpage_t channel_get_next_fpage(void);
00039 extern int channel_open(l4_fpage_t page, int channel);
00040 extern int channel_write(int id, unsigned int offset, unsigned int size);
00041 extern int channel_flush(int id);
00042 extern int channel_close(int id);
00043
00044 #endif