tag	line	file	source code
mint	276	arch/m68k/boot/atari/bootstrap.c	u_long cpu_type, fpu_type, mch_type, mint;
mint	358	arch/m68k/boot/atari/bootstrap.c	if(getcookie("MiNT", &mint) != -1)
mint	78	drivers/char/fep.h	volatile unchar mint;
mint	1695	drivers/char/pcxx.c	bc->mint = ch->dcd;
mint	1698	drivers/char/pcxx.c	bc->mint = 0;