Searched refs:vkdb_printf (Results 1 – 3 of 3) sorted by relevance
117 extern __printf(1, 0) int vkdb_printf(const char *fmt, va_list args);
551 int vkdb_printf(const char *fmt, va_list ap) in vkdb_printf() function858 r = vkdb_printf(fmt, ap); in kdb_printf()
766 r = vkdb_printf(fmt, args); in printk()