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...) \