extern int sysctl_vsyscall32;
char *syscall32_page;
-static int use_sysenter = -1;
+static int use_sysenter __initdata = -1;
/*
* Map the 32bit vsyscall page on demand.
if (pte_none(*pte)) {
set_pte(pte,
mk_pte(virt_to_page(syscall32_page),
- PAGE_KERNEL_VSYSCALL32));
+ PAGE_KERNEL_VSYSCALL));
}
/* Flush only the local CPU. Other CPUs taking a fault
will just end up here again */