#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 const & gdt_pointer)
      -> void
  {
    // TODO: build lgdt argument from global_descriptor_table_pointer (don't know how yet)
    // asm volatile("lgdt (%0)" : : "r"(gdt_pointer));
    if (gdt_pointer.table_length)
    {
    }
  }
}  // namespace teachos::arch::kernel::cpu