Changes in kernel/arch/amd64/src/syscall.c [811770c:9d58539] in mainline

File:

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

kernel/arch/amd64/src/syscall.c

@@ -41 +41 @@
 
 #include <print.h>
+#include <arch/cpu.h>
 
 extern void syscall_entry(void);
@@ -48 +49 @@
 {
         /* Enable SYSCALL/SYSRET */
-        write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_SCE);
+        set_efer_flag(AMD_SCE_FLAG);
 
         /* Setup syscall entry address */