2015-04-10 16:44:37 -07:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2013-2014 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-18 17:01:01 -08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2015-04-10 16:44:37 -07:00
|
|
|
*/
|
|
|
|
|
2015-12-04 10:09:39 -05:00
|
|
|
/**
|
|
|
|
* @file
|
2016-12-23 07:32:56 -05:00
|
|
|
* @brief Cortex-M public kernel miscellaneous
|
2015-12-04 10:09:39 -05:00
|
|
|
*
|
2016-12-23 07:32:56 -05:00
|
|
|
* ARM-specific kernel miscellaneous interface. Included by arm/arch.h.
|
2015-07-01 17:22:39 -04:00
|
|
|
*/
|
2015-04-10 16:44:37 -07:00
|
|
|
|
2019-11-09 18:48:15 +00:00
|
|
|
#ifndef ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_MISC_H_
|
|
|
|
#define ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_MISC_H_
|
2015-04-10 16:44:37 -07:00
|
|
|
|
2016-01-22 12:38:49 -05:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2015-04-10 16:44:37 -07:00
|
|
|
#ifndef _ASMLANGUAGE
|
2019-03-08 14:19:05 -07:00
|
|
|
extern u32_t z_timer_cycle_get_32(void);
|
2019-10-03 15:05:34 -07:00
|
|
|
|
2019-11-07 12:43:29 -08:00
|
|
|
static inline u32_t arch_k_cycle_get_32(void)
|
2019-10-03 15:05:34 -07:00
|
|
|
{
|
|
|
|
return z_timer_cycle_get_32();
|
|
|
|
}
|
2018-12-04 17:15:27 -08:00
|
|
|
|
2019-11-07 12:43:29 -08:00
|
|
|
static ALWAYS_INLINE void arch_nop(void)
|
2018-12-04 17:15:27 -08:00
|
|
|
{
|
|
|
|
__asm__ volatile("nop");
|
|
|
|
}
|
|
|
|
|
2015-04-10 16:44:37 -07:00
|
|
|
#endif
|
|
|
|
|
2016-01-22 12:38:49 -05:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2019-11-09 18:48:15 +00:00
|
|
|
#endif /* ZEPHYR_INCLUDE_ARCH_ARM_AARCH32_MISC_H_ */
|