Processor.h

Go to the documentation of this file.

/* ========================================
 
  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
 
======================================== */
 
#pragma once
 
#ifdef __NE_ARM64__
 
#include <FirmwareKit/Handover.h>
#include <NeKit/Array.h>
#include <NeKit/Config.h>
#include <NeKit/Utils.h>
 
#define kCPUBackendName "aarch64"
 
namespace Kernel::HAL {
struct PACKED Register64 final {
  UShort  Limit;
  UIntPtr Base;
};

enum {
  kMMFlagsInvalid = 1 << 0,
  kMMFlagsPresent = 1 << 1,
  kMMFlagsWr      = 1 << 2,
  kMMFlagsUser    = 1 << 3,
  kMMFlagsNX      = 1 << 4,
  kMMFlagsCount   = 4,
};

EXTERN_C Int32 mm_map_page(VoidPtr virtual_address, VoidPtr physical_address, UInt32 flags,
                           UInt32 level = 2);
 
EXTERN_C UIntPtr mm_get_page_addr(VoidPtr virtual_address);
 
typedef UIntPtr    Reg;
typedef Register64 Register;

struct PACKED StackFrame {
  Reg IP;
  Reg SP;
  Reg R8;
  Reg R9;
  Reg R10;
  Reg R11;
  Reg R12;
  Reg R13;
  Reg R14;
  Reg R15;
};
 
typedef StackFrame* StackFramePtr;
 
inline Void rt_halt() {
  while (Yes) {
  }
}
 
inline Void hal_wfi(Void) {
  asm volatile("wfi");
}
}  // namespace Kernel::HAL
 
inline Kernel::VoidPtr kKernelBitMpStart = nullptr;
inline Kernel::UIntPtr kKernelBitMpSize  = 0UL;
 
#include <HALKit/ARM64/Paging.h>
 
#endif  // __NE_ARM64__