taglinefilesource code
PRINTK62net/kern_sock.h#define PRINTK printk
PRINTK64net/kern_sock.h#define PRINTK (void)