1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 
6 #ifndef __KERNEL_MISC_ARCH_H
7 #define __KERNEL_MISC_ARCH_H
8 
9 #include <arm.h>
10 #include <kernel/thread.h>
11 #include <types_ext.h>
12 
13 size_t get_core_pos_mpidr(uint32_t mpidr);
14 
15 uint32_t read_mode_sp(int cpu_mode);
16 uint32_t read_mode_lr(int cpu_mode);
17 
18 void wait_cycles(unsigned long cycles);
19 
20 #endif /*__KERNEL_MISC_ARCH_H*/
21