tag	line	file	source code
ip	99	kernel/vsprintf.c	int *ip;
ip	218	kernel/vsprintf.c	ip = va_arg(args, int *);
ip	219	kernel/vsprintf.c	*ip = (str - buf);