HardenedBSD/sys/libkern/x86
..
crc32_sse42.c