00001
00009 #ifndef TYPES_H00010 #define TYPES_H00011
00012 #include <stdint.h>00013
00014 /* 00015 * These type names are used in the Linux kernel.00016 * Andreas likes them.00017 */00018 typedef uint8_t u8;
00019 typedef uint16_t u16;
00020
00021 #endif