add_video_randomness  610 dev/pci/bktr/bktr_core.c 		add_video_randomness(tdec_save);
add_video_randomness  624 dev/pci/bktr/bktr_core.c 	add_video_randomness(INL(bktr, BKTR_RISC_COUNT));