Changes in kernel/arch/ia32/src/syscall.c [1d3d2cf:8c15255] 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)
@@ -49 +50 @@
         write_msr(IA32_MSR_SYSENTER_EIP, (uint32_t) sysenter_handler);
 }
+#endif
 
 /** @}