Searched refs:db_vprintf (Results 1 – 5 of 5) sorted by relevance
82 db_vprintf(Format, Args); in AcpiOsVprintf()
46 void db_vprintf(const char *, va_list) __printflike(1, 0);
110 db_vprintf(const char *fmt, va_list ap) in db_vprintf() function 127 db_vprintf(fmt, ap); in db_printf()
804 db_vprintf(fmt, ap); in insn_printf()
702 db_vprintf(const char *fmt, va_list ap) in db_vprintf() function