blob: d6256f054261e79902569a8501fa4655874b808b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// SPDX-License-Identifier: Apache-2.0
// Copyright 2024-2026, 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_APPLICATIONPROCESSOR_H
#define HALKIT_APPLICATIONPROCESSOR_H
#include <HALKit/ARM64/Processor.h>
#include <NeKit/Config.h>
/************************************************** */
/* INITIALIZE THE GIC ON THE CURRENT CORE. */
/* WITH AN EXECUTION LEVEL IN MIND. */
/************************************************** */
namespace Kernel {
Void mp_init_cores(Void);
}
#endif
|
