 if (!boot_cpu_has(X86_FEATURE_SEP)) { put_cpu(); return; } 
void enable_sep_cpu(void *info){	int cpu = get_cpu();	struct tss_struct *tss = &per_cpu(init_tss, cpu);	tss->ss1 = __KERNEL_CS;	tss->esp1 = sizeof(struct tss_struct) + (unsigned long) tss;	wrmsr(MSR_IA32_SYSENTER_CS, __KERNEL_CS, 0);	wrmsr(MSR_IA32_SYSENTER_ESP, tss->esp1, 0);	wrmsr(MSR_IA32_SYSENTER_EIP, (unsigned long) sysenter_entry, 0);	put_cpu();	}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fe940d6c300886de4ff1454d8ffd363172af433/sysenter.c/buggy/arch/i386/kernel/sysenter.c