DSP56K            301 arch/m68k/atari/config.c 		ATARIHW_SET(DSP56K);
DSP56K            653 arch/m68k/atari/config.c 	ATARIHW_ANNOUNCE(DSP56K, "DSP56001 processor");
DSP56K            113 arch/m68k/include/asm/atarihw.h     ATARIHW_DECLARE(DSP56K);		/* DSP56k processor in Falcon */
DSP56K            498 drivers/char/dsp56k.c 	if(!MACH_IS_ATARI || !ATARIHW_PRESENT(DSP56K)) {