tag	line	file	source code
SMP_PRINTK	87	arch/i386/kernel/smp.c	#define SMP_PRINTK(x)  printk x
SMP_PRINTK	89	arch/i386/kernel/smp.c	#define SMP_PRINTK(x)