taglinefilesource code
va_list419fs/buffer.cva_list args;
va_list74init/main.cva_list args;
va_list210init/main.cva_list args;
va_list18kernel/printk.cextern int vsprintf(char * buf, const char * fmt, va_list args);
va_list84kernel/printk.cva_list args;
va_list93kernel/vsprintf.cint vsprintf(char *buf, const char *fmt, va_list args)
va_list14lib/open.cva_list arg;