ten_thousand      136 kernel/sysctl.c static int ten_thousand = 10000;
ten_thousand      877 kernel/sysctl.c 		.extra2		= &ten_thousand,