tag	line	file	source code
atari_reset	65	arch/m68k/atari/config.c	extern void atari_reset( void );
atari_reset	219	arch/m68k/atari/config.c	mach_reset           = atari_reset;