sse42_crc32c
return (sse42_crc32c);
uint32_t sse42_crc32c(uint32_t, const unsigned char *, unsigned);
act = sse42_crc32c(crc32c, buffer, length);