blob: 9f16d8f52efe89299e61850c1b0f4a2a6c959c50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
/* -------------------------------------------
Copyright (C) 2024-2025, Amlal El Mahrouss, all rights reserved.
------------------------------------------- */
#pragma once
#include <FirmwareKit/Handover.h>
#include <NewKit/Array.h>
#include <NewKit/Defines.h>
#include <NewKit/Utils.h>
#define kCPUBackendName "ARMv8"
namespace Kernel::HAL {
struct PACKED Register64 final {
UShort Limit;
UIntPtr Base;
};
/// @brief Memory Manager mapping flags.
enum {
kMMFlagsPresent = 1 << 0,
kMMFlagsWr = 1 << 1,
kMMFlagsUser = 1 << 2,
kMMFlagsNX = 1 << 3,
kMMFlagsPCD = 1 << 4,
kMMFlagsCount = 4,
};
/// @brief Set a PTE from pd_base.
/// @param virt_addr a valid virtual address.
/// @param phys_addr point to physical address.
/// @param flags the flags to put on the page.
/// @return Status code of page manip.
EXTERN_C Int32 mm_map_page(VoidPtr virtual_address, VoidPtr physical_address, UInt32 flags);
EXTERN_C UIntPtr mm_get_phys_address(VoidPtr virtual_address);
typedef UIntPtr Reg;
typedef Register64 Register;
/// @note let's keep the same name as AMD64 HAL.
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() noexcept {
while (Yes) {
}
}
template <typename DataKind>
inline void hal_dma_write(UIntPtr address, DataKind value) {
*reinterpret_cast<volatile DataKind*>(address) = value;
}
template <typename DataKind>
inline DataKind hal_dma_read(UIntPtr address) {
return *reinterpret_cast<volatile DataKind*>(address);
}
inline Void hal_wfi(Void) {
asm volatile("wfi");
}
} // namespace Kernel::HAL
inline Kernel::VoidPtr kKernelBitMpStart = nullptr;
inline Kernel::UIntPtr kKernelBitMpSize = 0UL;
inline Kernel::VoidPtr kKernelPhysicalStart = nullptr;
#include <HALKit/ARM64/Paging.h>
|
