view Gui/error.h @ 3076:bfc881c0e591

newly allocated memory seems to point to only 1 zero filled 4k page or something so there is a near 100% cache hit rate ... not very realistic, writeing something in the source array fixes that so the benchmark scores are meaningfull now

#ifndef _MPLAYER_ERROR_HANDLER
#define _MPLAYER_ERROR_HANDLER

#define True 1
#define False 0

// 0 - standard message
// 1 - detto
// 2 - events
// 3 - skin reader messages
// 4 - bitmap reader messages
// 5 - signal handling messages
// 6 - gtk messages

typedef void (*errorTHandler)( int critical,const char * format, ... );

extern errorTHandler message;
extern errorTHandler dbprintf;

#endif