#include "arch/kernel/cpu/lgdt.hpp"

#include "arch/context_switching/descriptor_table/global_descriptor_table_pointer.hpp"

namespace teachos::arch::kernel::cpu
{
  auto load_global_descriptor_table(context_switching::descriptor_table::global_descriptor_table_pointer gdt_pointer)
      -> void
  {
    // TODO: build lgdt argument from global_descriptor_table_pointer (don't know how yet)
    asm volatile("lgdt (%0)" : : "r"(gdt_pointer));
  }

}  // namespace teachos::arch::kernel::cpu