on_each_cpu(enable_sep_cpu, NULL, 1, 1); 
static int __init sysenter_setup(void){	void *page = (void *)get_zeroed_page(GFP_ATOMIC);	__set_fixmap(FIX_VSYSCALL, __pa(page), PAGE_READONLY_EXEC);	if (!boot_cpu_has(X86_FEATURE_SEP)) {		memcpy(page,		       &vsyscall_int80_start,		       &vsyscall_int80_end - &vsyscall_int80_start);		return 0;	}	memcpy(page,	       &vsyscall_sysenter_start,	       &vsyscall_sysenter_end - &vsyscall_sysenter_start);	on_each_cpu(enable_sep_cpu, NULL, 1, 1);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fe940d6c300886de4ff1454d8ffd363172af433/sysenter.c/clean/arch/i386/kernel/sysenter.c