diff options
| -rw-r--r-- | sys/arch/amd64/amd64/cpu.c | 2 | ||||
| -rw-r--r-- | 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); } |