saved_left       3205 kernel/sysctl.c 			size_t saved_left;
saved_left       3208 kernel/sysctl.c 			saved_left = left;
saved_left       3217 kernel/sysctl.c 				left = saved_left;
saved_left       3243 kernel/sysctl.c 					left = saved_left;