tag	line	file	source code
PRINTK	62	net/kern_sock.h	#define PRINTK printk
PRINTK	64	net/kern_sock.h	#define PRINTK (void)