crc32c_init_hw
crc32c_init_hw(void *dummy __unused)
SYSINIT(crc32c_sse42, SI_SUB_LOCK, SI_ORDER_ANY, crc32c_init_hw, NULL);