tag	line	file	source code
vec	761	kernel/sysctl.c	int i, length, *vec, *min, *max;
vec	774	kernel/sysctl.c	vec = (int *) newval;
vec	779	kernel/sysctl.c	int value = get_user(vec + i);