/* | |
* 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 <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 | |
#endif /* ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_ARCH_INLINES_H */ |