00001 #ifndef TYPES_H 00002 #define TYPES_H 00003 00004 #include <stdint.h> 00005 00006 /* 00007 * These type names are used in the Linux kernel. 00008 * Andreas likes them. 00009 */ 00010 typedef uint8_t u8; 00011 typedef uint16_t u16; 00012 00013 #endif