00001 #ifndef _GPXE_CRC32_H 00002 #define _GPXE_CRC32_H 00003 00004 FILE_LICENCE ( GPL2_OR_LATER ); 00005 00006 #include <stdint.h> 00007 00008 u32 crc32_le ( u32 seed, const void *data, size_t len ); 00009 00010 #endif