<dec f='src/src/sys/ddb/db_output.h' l='41' type='void db_vprintf(const char * , struct __va_list_tag * )'/>
<use f='src/src/sys/dev/acpi/acpica/OsdStream.c' l='82' u='c' c='AcpiOsVprintf'/>
<def f='src/src/sys/kern/subr_prf.c' l='682' ll='693' type='void db_vprintf(const char * fmt, struct __va_list_tag * ap)'/>
