tag	line	file	source code
hard_reset_now	44	drivers/char/softdog.c	extern void hard_reset_now(void);
hard_reset_now	45	drivers/char/softdog.c	hard_reset_now();
hard_reset_now	99	drivers/char/wdt.c	hard_reset_now();
hard_reset_now	154	kernel/sys.c	extern void hard_reset_now(void);
hard_reset_now	172	kernel/sys.c	hard_reset_now();
hard_reset_now	194	kernel/sys.c	hard_reset_now();