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