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

namespace teachos::arch::kernel::cpu
{
  auto jmp(std::size_t address) -> void
  {
    asm volatile("jmp *%[input]" : /* no output from call */ : [input] "r"(address));
  }

  auto jmp(far_pointer pointer) -> void
  {
    asm volatile("rex64 lcall *%[input]" : /* no output from call */ : [input] "m"(pointer));
  }
}  // namespace teachos::arch::kernel::cpu