kernel/amd64: cpu: Prefix machdeps with cpu_

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 2 insertions, 2 deletions

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);
 }