2 files changed, 3 insertions, 3 deletions
diff --git a/sys/arch/amd64/amd64/cpu.c b/sys/arch/amd64/amd64/cpu.c
index 0c59730..d8617d8 100644
--- a/sys/arch/amd64/amd64/cpu.c
+++ b/sys/arch/amd64/amd64/cpu.c
@@ -55,6 +55,6 @@ amd64_this_cpu(void)
         return amd64_get_bsp();
     }
 
-    cctx = (void *)read_gs_base();
+    cctx = (void *)amd64_read_gs_base();
     return cctx->ci;
 }
diff --git a/sys/include/arch/amd64/cpu.h b/sys/include/arch/amd64/cpu.h
index e6f2de0..cff86f5 100644
--- a/sys/include/arch/amd64/cpu.h
+++ b/sys/include/arch/amd64/cpu.h
@@ -99,13 +99,13 @@ amd64_is_intr_mask(void)
 }
 
 static inline void
-write_gs_base(uintptr_t val)
+amd64_write_gs_base(uintptr_t val)
 {
     wrmsr(IA32_KERNEL_GS_BASE, val);
 }
 
 static inline uintptr_t
-read_gs_base(void)
+amd64_read_gs_base(void)
 {
     return rdmsr(IA32_KERNEL_GS_BASE);
 }