#include "arch/user/main.hpp"

#include "arch/context_switching/syscall/main.hpp"

// TODO: Disallow this import
#include "arch/kernel/cpu/if.hpp"
#include "arch/video/vga/text.hpp"

namespace teachos::arch::user
{
  auto main() -> void
  {
    char constexpr syscall_message[] = "Successfully entered user mode and wrote to VGA buffer via syscall!";
    auto const error = context_switching::syscall::syscall(context_switching::syscall::type::WRITE,
                                                           {reinterpret_cast<uint64_t>(&syscall_message)});

    kernel::cpu::clear_interrupt_flag();  // Causes crash Kernel Code (.text) is not mapped in User mMde

    auto test = new int{20};  // Causes crash Heap is not mapped in User Mode
    (void)test;

    if (!error)
    {
      // Causes crash vga is not mapped in User Mode
      video::vga::text::write("Successfully made a SYSCALL and returned with SYSRETQ!",
                              video::vga::text::common_attributes::green_on_black);
    }

    for (;;)
    {
    }
  }
}  // namespace teachos::arch::user