opd_cookie.h

Go to the documentation of this file.
00001 
00011 #ifndef OPD_COOKIE_H
00012 #define OPD_COOKIE_H
00013 
00014 typedef unsigned long long cookie_t;
00015 
00016 #define INVALID_COOKIE ~0LLU
00017 #define NO_COOKIE 0LLU
00018 
00023 #define DCOOKIE_SHIFT 7
00024 
00029 char const * find_cookie(cookie_t cookie);
00030 
00032 int is_cookie_ignored(cookie_t cookie);
00033 
00035 char const * verbose_cookie(cookie_t cookie);
00036 
00037 void cookie_init(void);
00038 
00039 #endif /* OPD_COOKIE_H */