/* Calculates 32 bits CRC value of given data.  */
uint32_t mss_mac_crc32(uint32_t value, const uint8_t *data, uint32_t data_length)
/* Calculates 32 bits CRC value of given data.  */
uint32_t mss_mac_crc32(uint32_t value, const uint8_t *data, uint32_t data_length)
{
  uint32_t a;
  for(a=0; a<data_length; a++) {
	value = crc32_table[(value ^ data[a]) & 0xff] ^ (value >> 8);
  }
  return value;
}