From 3cd865ee381cb323d8b773e2cd1ea448e7ad6a15 Mon Sep 17 00:00:00 2001 From: Ian Moffett Date: Thu, 15 Feb 2024 13:54:24 -0500 Subject: kernel/amd64: cpu: Prefix machdeps with cpu_ Signed-off-by: Ian Moffett --- sys/arch/amd64/amd64/cpu.c | 2 +- sys/include/arch/amd64/cpu.h | 4 ++-- 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); } -- cgit v1.2.3