1 #ifndef _GPXE_CRC32_H
2 #define _GPXE_CRC32_H
3 
4 FILE_LICENCE ( GPL2_OR_LATER );
5 
6 #include <stdint.h>
7 
8 u32 crc32_le ( u32 seed, const void *data, size_t len );
9 
10 #endif
11