blob: bdad66d5fe4351678f468be85ee13f1f3ecb20e0 (
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
|
// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
#ifndef HALKIT_AP_H
#define HALKIT_AP_H
#include <NeKit/Config.h>
namespace Kernel {
struct HAL_HARDWARE_THREAD;
/// @brief hardware thread indentification type.
typedef Kernel::Int32 hal_ap_kind;
/// @brief Hardware thread information structure.
typedef struct HAL_HARDWARE_THREAD {
Kernel::UIntPtr fStartAddress;
Kernel::UIntPtr fStackPtr;
Kernel::UIntPtr fFramePtr;
Kernel::UInt8 fPrivileged : 1;
Kernel::UInt32 fPageMemoryFlags;
hal_ap_kind fIdentNumber;
} HAL_HARDWARE_THREAD;
/// @brief Set PC to specific hart.
/// @param hart the hart
/// @param epc the pc.
/// @return
EXTERN_C Kernel::Void hal_set_pc_to_hart(HAL_HARDWARE_THREAD* hart, Kernel::VoidPtr epc);
} // namespace Kernel
#endif
|
