vdbg_printk       406 drivers/platform/x86/thinkpad_acpi.c #define vdbg_printk dbg_printk
vdbg_printk       410 drivers/platform/x86/thinkpad_acpi.c #define vdbg_printk(a_dbg_level, format, arg...)	\