/sys/libkern/x86/

• ../
• crc32_sse42.c