Version: 1.0
File: kernel/printk.c:1661
Symbol:
func vprintk (
fmt * const "char"
args @"typedef--va_list.txt"
)
"int"
