#include <sys/utsname.h>
#include <sys/time.h>
#include <sys/systeminfo.h>
+#include <zfs_fletcher.h>
/*
* Emulation of kernel services in userland.
spa_init(mode);
+ fletcher_4_init();
+
tsd_create(&rrw_tsd_key, rrw_tsd_destroy);
}
void
kernel_fini(void)
{
+ fletcher_4_fini();
spa_fini();
system_taskq_fini();