DEVRANDOM_SAFE_KERNEL
#ifndef DEVRANDOM_SAFE_KERNEL
static const int kernel_version[] = { DEVRANDOM_SAFE_KERNEL };