rnd_init
void rnd_init(void *); /* actually do the reinit */
rnd_init(NULL);
struct task rnd_task = TASK_INITIALIZER(rnd_init, NULL);