rem: kill_chrand(rng); delete_sem(rand_mutex);
add: TRACE((DRIVER_NAME ": uninit_driver()\n")); kill_chrand(sRandomEnv); delete_sem(sRandomSem);
context: void uninit_driver (void){	kill_chrand(rng);	delete_sem(rand_mutex);//	dprintf (DRIVER_NAME ": uninit_driver()\n");}