compat_printk     817 arch/x86/ia32/sys_ia32.c 		compat_printk(KERN_INFO
compat_printk    2757 fs/compat_ioctl.c 	compat_printk("ioctl32(%s:%d): Unknown cmd fd(%d) "
compat_printk     240 include/linux/compat.h extern int compat_printk(const char *fmt, ...);