You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
34 lines
733 B
34 lines
733 B
/* |
|
* Copyright 2022 IoT.bzh |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
#ifndef ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_ARCH_INLINES_H |
|
#define ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_ARCH_INLINES_H |
|
|
|
#include <zephyr/kernel_structs.h> |
|
|
|
#ifndef CONFIG_SMP |
|
static ALWAYS_INLINE _cpu_t *arch_curr_cpu(void) |
|
{ |
|
/* Dummy implementation always return the first cpu */ |
|
return &_kernel.cpus[0]; |
|
} |
|
#endif |
|
|
|
static ALWAYS_INLINE uint32_t arch_proc_id(void) |
|
{ |
|
/* |
|
* Placeholder implementation to be replaced with an architecture |
|
* specific call to get processor ID |
|
*/ |
|
return arch_curr_cpu()->id; |
|
} |
|
|
|
static ALWAYS_INLINE unsigned int arch_num_cpus(void) |
|
{ |
|
return CONFIG_MP_MAX_NUM_CPUS; |
|
} |
|
|
|
#endif /* ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_ARCH_INLINES_H */
|
|
|