tag	line	file	source code
add_interrupt_randomness	456	drivers/char/random.c	void add_interrupt_randomness(int irq)
add_interrupt_randomness	35	include/linux/random.h	#define add_interrupt_randomness(x)