tag	line	file	source code
SK_reset_board	507	drivers/net/sk_g16.c	void   SK_reset_board(void);
SK_reset_board	1037	drivers/net/sk_g16.c	SK_reset_board();