Changes in kernel/arch/amd64/src/syscall.c [1d3d2cf:80c9416] in mainline

File:

• kernel/arch/amd64/src/syscall.c (modified) (1 diff)

kernel/arch/amd64/src/syscall.c

@@ -58 +58 @@
          */
         write_msr(AMD_MSR_STAR,
-            ((uint64_t) (GDT_SELECTOR(KDATA_DES) | PL_USER) << 48) |
-            ((uint64_t) (GDT_SELECTOR(KTEXT_DES) | PL_KERNEL) << 32));
+            ((uint64_t)(gdtselector(KDATA_DES) | PL_USER) << 48) |
+            ((uint64_t)(gdtselector(KTEXT_DES) | PL_KERNEL) << 32));
         write_msr(AMD_MSR_LSTAR, (uint64_t)syscall_entry);
         /* Mask RFLAGS on syscall