x86_64/cpu: port GDT reload procedure

1 files changed, 0 insertions, 31 deletions

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<uint64_t>(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<std::underlying_type<efer_flags>::type>(flag) | efer);
-  }
-}  // namespace teachos::arch::kernel::cpu