void enable_sep_cpu(void *info)
void enable_sep_cpu(void)
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();	}