aboutsummaryrefslogtreecommitdiff
path: root/arch/x86_64/pre/src/kernel
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-01-16 17:39:23 +0100
committerFelix Morgner <felix.morgner@ost.ch>2026-01-16 17:39:23 +0100
commit7ba274d0838e5cd4e48e85f81557bbb837ed4349 (patch)
treeb792f550634b856e3401ea42dd0ee7089494be28 /arch/x86_64/pre/src/kernel
parentf7fc4cb67c8c7c6ec1833f6ac6f0ad3a2837251d (diff)
downloadteachos-7ba274d0838e5cd4e48e85f81557bbb837ed4349.tar.xz
teachos-7ba274d0838e5cd4e48e85f81557bbb837ed4349.zip
x86_64/cpu: port GDT reload procedure
Diffstat (limited to 'arch/x86_64/pre/src/kernel')
-rw-r--r--arch/x86_64/pre/src/kernel/cpu/gdtr.cpp19
-rw-r--r--arch/x86_64/pre/src/kernel/cpu/msr.cpp31
-rw-r--r--arch/x86_64/pre/src/kernel/cpu/segment_register.cpp98
3 files changed, 0 insertions, 148 deletions
diff --git a/arch/x86_64/pre/src/kernel/cpu/gdtr.cpp b/arch/x86_64/pre/src/kernel/cpu/gdtr.cpp
deleted file mode 100644
index 74a4e1c..0000000
--- a/arch/x86_64/pre/src/kernel/cpu/gdtr.cpp
+++ /dev/null
@@ -1,19 +0,0 @@
-#include "arch/kernel/cpu/gdtr.hpp"
-
-#include "arch/context_switching/segment_descriptor_table/global_descriptor_table_pointer.hpp"
-
-namespace teachos::arch::kernel::cpu
-{
- auto store_global_descriptor_table() -> context_switching::segment_descriptor_table::global_descriptor_table_pointer
- {
- context_switching::segment_descriptor_table::global_descriptor_table_pointer current_value{};
- asm("sgdt %[output]" : [output] "=m"(current_value));
- return current_value;
- }
-
- auto load_global_descriptor_table(
- context_switching::segment_descriptor_table::global_descriptor_table_pointer const & gdt_pointer) -> void
- {
- asm volatile("lgdt %[input]" : /* no output from call */ : [input] "m"(gdt_pointer));
- }
-} // namespace teachos::arch::kernel::cpu
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
diff --git a/arch/x86_64/pre/src/kernel/cpu/segment_register.cpp b/arch/x86_64/pre/src/kernel/cpu/segment_register.cpp
deleted file mode 100644
index b08c9c4..0000000
--- a/arch/x86_64/pre/src/kernel/cpu/segment_register.cpp
+++ /dev/null
@@ -1,98 +0,0 @@
-#include "arch/kernel/cpu/segment_register.hpp"
-
-#include "arch/context_switching/interrupt_descriptor_table/segment_selector.hpp"
-#include "arch/exception_handling/assert.hpp"
-
-namespace teachos::arch::kernel::cpu
-{
- auto reload_data_segment_registers() -> void
- {
- asm volatile("xor %%rax, %%rax\n"
- "mov %%rax, %%ss\n"
- "mov %%rax, %%ds\n"
- "mov %%rax, %%es\n"
- "mov %%rax, %%fs\n"
- "mov %%rax, %%gs\n"
- : /* no output from call */
- : /* no input to call */
- : "rax");
- }
-
- auto set_data_segment_registers(context_switching::interrupt_descriptor_table::segment_selector data_segment) -> void
- {
- asm volatile("xor %%rax, %%rax\n"
- "mov %[input], %%ax\n"
- "mov %%rax, %%ds\n"
- "mov %%rax, %%es\n"
- "mov %%rax, %%fs\n"
- "mov %%rax, %%gs\n"
- : /* no output from call */
- : [input] "m"(data_segment)
- : "rax");
- }
-
- auto read_code_segment_register() -> context_switching::interrupt_descriptor_table::segment_selector
- {
- context_switching::interrupt_descriptor_table::segment_selector current_value{};
- asm volatile("mov %%cs, %[output]" : [output] "=r"(current_value));
- return current_value;
- }
-
- auto validate_data_segment_registers(context_switching::interrupt_descriptor_table::segment_selector data_segment)
- -> void
- {
- context_switching::interrupt_descriptor_table::segment_selector ss{};
- context_switching::interrupt_descriptor_table::segment_selector ds{};
- context_switching::interrupt_descriptor_table::segment_selector es{};
- context_switching::interrupt_descriptor_table::segment_selector fs{};
- context_switching::interrupt_descriptor_table::segment_selector gs{};
-
- asm volatile(
- "mov %%ss, %[ss_output]\n"
- "mov %%ds, %[ds_output]\n"
- "mov %%es, %[es_output]\n"
- "mov %%fs, %[fs_output]\n"
- "mov %%gs, %[gs_output]\n"
- : [ss_output] "=r"(ss), [ds_output] "=r"(ds), [es_output] "=r"(es), [fs_output] "=r"(fs), [gs_output] "=r"(gs));
-
- auto result = (ss == ds && ss == es && ss == fs && ss == gs);
- exception_handling::assert(result, "[Segment Register] Values in data register are not the same.");
- result = (ss == data_segment);
- exception_handling::assert(
- result, "[Segment Register] Expected Data Segment is not the same as the value in the Stack Segment register.");
- }
-
- auto validate_code_segment_register(context_switching::interrupt_descriptor_table::segment_selector code_segment)
- -> void
- {
- auto const cs = read_code_segment_register();
- exception_handling::assert(
- cs == code_segment,
- "[Segment Register] Expected Code Segment is not the same as the value in the Code Segment register.");
- }
-
- auto validate_segment_registers(context_switching::interrupt_descriptor_table::segment_selector data_segment,
- context_switching::interrupt_descriptor_table::segment_selector code_segment) -> void
- {
- validate_data_segment_registers(data_segment);
- validate_code_segment_register(code_segment);
- }
-
- auto set_code_segment_register(context_switching::interrupt_descriptor_table::segment_selector data_segment,
- context_switching::interrupt_descriptor_table::segment_selector code_segment,
- uint64_t address) -> void
- {
- asm volatile("mov %%rsp, %%rax\n"
- "push %[data_segment]\n"
- "push %%rax\n"
- "pushfq\n"
- "push %[code_segment]\n"
- "mov %[return_function], %%rax\n"
- "push %%rax\n"
- "iretq\n"
- : /* no output from call */
- : [data_segment] "m"(data_segment), [code_segment] "m"(code_segment), [return_function] "r"(address)
- : "rax");
- }
-
-} // namespace teachos::arch::kernel::cpu