/* -------------------------------------------

  Copyright (C) 2024-2025, Amlal El Mahrouss, all rights reserved.

------------------------------------------- */

#include <ArchKit/ArchKit.h>
#include <HALKit/AMD64/Processor.h>
#include <KernelKit/BinaryMutex.h>
#include <KernelKit/HardwareThreadScheduler.h>
#include <KernelKit/ProcessScheduler.h>
#include <KernelKit/Timer.h>
#include <NewKit/KernelPanic.h>
#include <modules/ACPI/ACPIFactoryInterface.h>
#include <modules/CoreGfx/TextGfx.h>
#include "NewKit/Defines.h"

#define APIC_Signature "APIC"

#define AP_BLOB_SIZE 126

#define APIC_ICR_LOW 0x300
#define APIC_ICR_HIGH 0x310
#define APIC_SIPI_VEC 0x00500
#define APIC_EIPI_VEC 0x00400

#define LAPIC_REG_TIMER_LVT 0x320
#define LAPIC_REG_TIMER_INITCNT 0x380
#define LAPIC_REG_TIMER_CURRCNT 0x390
#define LAPIC_REG_TIMER_DIV 0x3E0
#define LAPIC_REG_ENABLE 0x80
#define LAPIC_REG_SPURIOUS 0xF0

#define APIC_BASE_MSR 0x1B
#define APIC_BASE_MSR_BSP 0x100
#define APIC_BASE_MSR_ENABLE 0x800

/// @note: _hal_switch_context is internal

///////////////////////////////////////////////////////////////////////////////////////

/// @brief The **HAL** namespace.

///////////////////////////////////////////////////////////////////////////////////////

namespace Kernel::HAL {
struct HAL_APIC_MADT;
struct HAL_HARDWARE_THREAD;

struct HAL_HARDWARE_THREAD final {
  HAL::StackFramePtr mFramePtr;
  ProcessID          mProcessID{0};
  UInt8              mCoreID{0};
};

STATIC HAL_APIC_MADT* kMADTBlock = nullptr;
STATIC Bool           kSMPAware  = false;
STATIC Int64          kSMPCount  = 0;

EXTERN_C UIntPtr kApicBaseAddress;

STATIC Int32   kSMPInterrupt                           = 0;
STATIC UInt64  kAPICLocales[kSchedProcessLimitPerTeam] = {0};
STATIC VoidPtr kRawMADT                                = nullptr;

/// @brief Multiple APIC Descriptor Table.
struct HAL_APIC_MADT final SDT_OBJECT {
  UInt32 Address;  // Madt address
  UInt32 Flags;    // Madt flags
  UInt8  List[1];  // Records List
};

struct LAPIC final {
  UInt8  Type;
  UInt8  Length;
  UInt8  ProcessorID;
  UInt8  APICID;
  UInt32 Flags;
};

///////////////////////////////////////////////////////////////////////////////////////

/***********************************************************************************/
/// @brief Send IPI command to APIC.
/// @param apic_id programmable interrupt controller id.
/// @param vector vector interrupt.
/// @param target target APIC adress.
/// @return
/***********************************************************************************/

Void hal_send_start_ipi(UInt32 target, UInt32 apic_id) {
  Kernel::ke_dma_write<UInt32>(target, APIC_ICR_HIGH, apic_id << 24);
  Kernel::ke_dma_write<UInt32>(target, APIC_ICR_LOW, 0x00000500 | 0x00004000 | 0x00000000);

  while (Kernel::ke_dma_read<UInt32>(target, APIC_ICR_LOW) & 0x1000) {
    ;
  }
}

/***********************************************************************************/
/// @brief Send end IPI for CPU.
/// @param apic_id
/// @param vector
/// @param target
/// @return
/***********************************************************************************/
Void hal_send_sipi(UInt32 target, UInt32 apic_id, UInt8 vector) {
  Kernel::ke_dma_write<UInt32>(target, APIC_ICR_HIGH, apic_id << 24);
  Kernel::ke_dma_write<UInt32>(target, APIC_ICR_LOW, 0x00000600 | 0x00004000 | 0x00000000 | vector);

  while (Kernel::ke_dma_read<UInt32>(target, APIC_ICR_LOW) & 0x1000) {
    NE_UNUSED(0);
  }
}

STATIC HAL_HARDWARE_THREAD kHWThread[kSchedProcessLimitPerTeam] = {{}};

EXTERN_C HAL::StackFramePtr mp_get_current_context(Int64 pid) {
  const auto process_index = pid % kSchedProcessLimitPerTeam;

  return kHWThread[process_index].mFramePtr;
}

EXTERN_C BOOL mp_register_process(HAL::StackFramePtr stack_frame, ProcessID pid) {
  MUST_PASS(stack_frame);

  const auto process_index = pid % kSchedProcessLimitPerTeam;

  kHWThread[process_index].mFramePtr  = stack_frame;
  kHWThread[process_index].mProcessID = pid;

  kHWThread[process_index].mCoreID = kAPICLocales[0];

  if (mp_is_smp()) {
    /// TODO:

    return YES;
  }

  return NO;
}

/***********************************************************************************/
/// @brief Is the current config SMP aware?
/// @return True if YES, False if not.
/***********************************************************************************/
Bool mp_is_smp(Void) noexcept {
  return kSMPAware;
}

/***********************************************************************************/
/// @brief Assembly symbol to bootstrap AP.
/***********************************************************************************/
EXTERN_C Char* hal_ap_blob_start;

/***********************************************************************************/
/// @brief Assembly symbol to bootstrap AP.
/***********************************************************************************/
EXTERN_C Char* hal_ap_blob_end;

/***********************************************************************************/
/// @brief Fetch and enable SMP scheduler.
/// @param vendor_ptr SMP containing structure.
/***********************************************************************************/
Void mp_init_cores(VoidPtr vendor_ptr) noexcept {
  if (!vendor_ptr) return;

  if (!kHandoverHeader->f_HardwareTables.f_MultiProcessingEnabled) {
    kSMPAware = NO;
    return;
  }

  PowerFactoryInterface hw_and_pow_int{vendor_ptr};

  kRawMADT   = hw_and_pow_int.Find(APIC_Signature).Leak().Leak();
  kMADTBlock = reinterpret_cast<HAL_APIC_MADT*>(kRawMADT);
  kSMPAware  = NO;

  if (kMADTBlock) {
    kSMPInterrupt = 0;
    kSMPCount     = 0;

    UInt32 lo = 0, hi = 0;

    hal_get_msr(0x1B, &lo, &hi);
    UInt64 apic_base = ((UInt64) hi << 32) | lo;

    apic_base |= 0x800;  // enable bit

    lo = apic_base & 0xFFFFFFFF;
    hi = apic_base >> 32;

    hal_set_msr(0x1B, lo, hi);

    kApicBaseAddress = apic_base & 0xFFFFF000;

    LAPICDmaWrapper controller{(VoidPtr) kApicBaseAddress};

    controller.Write(LAPIC_REG_ENABLE, 0);
    controller.Write(LAPIC_REG_SPURIOUS, 0x1FF);  // Enable bit, spurious interrupt vector register.
    controller.Write(LAPIC_REG_TIMER_DIV, 0b0011);
    controller.Write(LAPIC_REG_TIMER_LVT, 32 | (1 << 17));
    controller.Write(LAPIC_REG_TIMER_INITCNT, 1000000);

    const UIntPtr trampoline_phys = 0x8000;

    HAL::mm_map_page((VoidPtr)trampoline_phys, (VoidPtr)trampoline_phys, HAL::kMMFlagsWr | HAL::kMMFlagsPresent);

    const SizeT len = AP_BLOB_SIZE; /// AP blob size.

    rt_copy_memory(hal_ap_blob_start, reinterpret_cast<VoidPtr>(trampoline_phys), len);

    volatile UInt8* entry_ptr = reinterpret_cast<volatile UInt8*>(kMADTBlock->List);
    volatile UInt8* end_ptr   = ((UInt8*) kMADTBlock) + kMADTBlock->Length;

    while (entry_ptr < end_ptr) {
      UInt8 type   = *entry_ptr;
      UInt8 length = *(entry_ptr + 1);

      // Avoid infinite loop on bad APIC tables.
      if (length < 2) break;

      if (type == 0) {
        volatile LAPIC* entry_struct = (volatile LAPIC*) entry_ptr;

        if (entry_struct->Flags & 0x1) {
          kAPICLocales[kSMPCount] = entry_struct->ProcessorID;
          ++kSMPCount;

          kout << "LAPIC type, also is on...\r";

          hal_send_start_ipi(kApicBaseAddress, entry_struct->ProcessorID);
          hal_send_sipi(kApicBaseAddress, entry_struct->ProcessorID, trampoline_phys >> 12);

        } else {
          kout << "LAPIC type, also is not on...\r";
        }
      } else {
        kout << "Unknown APIC type...\r";
      }

      entry_ptr += length;
    }

    kSMPAware = kSMPCount > 1;
  }
}
}  // namespace Kernel::HAL

///////////////////////////////////////////////////////////////////////////////////////