xref: /optee_os/core/arch/riscv/include/kernel/misc_arch.h (revision 93b4dfdac5b94567992368337fde855388e868ea) 
1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright 2022, 2025 NXP
4  */
5 
6 #ifndef __KERNEL_MISC_ARCH_H
7 #define __KERNEL_MISC_ARCH_H
8 
9 #include <stdint.h>
10 
11 /* Bootable hart ID table */
12 extern uint32_t hartids[CFG_TEE_CORE_NB_CORE];
13 
14 #endif /*__KERNEL_MISC_ARCH_H*/
15