#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
  {
    asm volatile("lgdt %[input]" : /* no output from call */ : [input] "r"(gdt_pointer));
  }
}  // namespace teachos::arch::kernel::cpu