cryptoret_softint
static void cryptoret_softint(void *); /* kernel thread for callbacks*/
&cryptoret_softint, NULL);