Changes in kernel/arch/ia32/src/syscall.c [8c15255:1d3d2cf] in mainline

File:

• kernel/arch/ia32/src/syscall.c (modified) (2 diffs)

kernel/arch/ia32/src/syscall.c

@@ -39 +39 @@
 #include <arch/pm.h>
 
-#ifndef PROCESSOR_i486
 /** Enable & setup support for SYSENTER/SYSEXIT */
 void syscall_setup_cpu(void)
@@ -50 +49 @@
         write_msr(IA32_MSR_SYSENTER_EIP, (uint32_t) sysenter_handler);
 }
-#endif
 
 /** @}