old_sysctl         45 arch/x86/kernel/itmt.c 	unsigned int old_sysctl;
old_sysctl         55 arch/x86/kernel/itmt.c 	old_sysctl = sysctl_sched_itmt_enabled;
old_sysctl         58 arch/x86/kernel/itmt.c 	if (!ret && write && old_sysctl != sysctl_sched_itmt_enabled) {