tag	line	file	source code
hard_reset_now	52	arch/alpha/kernel/process.c	void hard_reset_now(void)
hard_reset_now	75	arch/i386/kernel/process.c	void hard_reset_now(void)
hard_reset_now	51	arch/sparc/kernel/process.c	void hard_reset_now(void)