From 7ba274d0838e5cd4e48e85f81557bbb837ed4349 Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Fri, 16 Jan 2026 17:39:23 +0100 Subject: x86_64/cpu: port GDT reload procedure --- arch/x86_64/pre/src/kernel/cpu/msr.cpp | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 arch/x86_64/pre/src/kernel/cpu/msr.cpp (limited to 'arch/x86_64/pre/src/kernel/cpu/msr.cpp') diff --git a/arch/x86_64/pre/src/kernel/cpu/msr.cpp b/arch/x86_64/pre/src/kernel/cpu/msr.cpp deleted file mode 100644 index 9d6a318..0000000 --- a/arch/x86_64/pre/src/kernel/cpu/msr.cpp +++ /dev/null @@ -1,31 +0,0 @@ -#include "arch/kernel/cpu/msr.hpp" - -namespace teachos::arch::kernel::cpu -{ - namespace - { - constexpr auto IA32_EFER_ADDRESS = 0xC000'0080; - } - - auto read_msr(uint32_t msr) -> uint64_t - { - uint32_t low, high; - asm volatile("rdmsr" : "=a"(low), "=d"(high) : "c"(msr)); - return (static_cast(high) << 32) | low; - } - - auto write_msr(uint32_t msr, uint64_t value) -> void - { - uint32_t low = value; - uint32_t high = value >> 32; - asm volatile("wrmsr" - : /* no output from call */ - : "c"(msr), "a"(low), "d"(high)); - } - - auto set_efer_bit(efer_flags flag) -> void - { - auto const efer = read_msr(IA32_EFER_ADDRESS); - write_msr(IA32_EFER_ADDRESS, static_cast::type>(flag) | efer); - } -} // namespace teachos::arch::kernel::cpu -- cgit v1.2.3