tag	line	file	source code
hard_reset_now	202	kernel/sys.c	extern void hard_reset_now(void);
hard_reset_now	219	kernel/sys.c	hard_reset_now();
hard_reset_now	237	kernel/sys.c	hard_reset_now();