2015-04-11 07:44:37 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2013-2014 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-19 09:01:01 +08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2015-04-11 07:44:37 +08:00
|
|
|
*/
|
|
|
|
|
2015-12-04 23:09:39 +08:00
|
|
|
/**
|
|
|
|
* @file
|
2016-12-23 20:32:56 +08:00
|
|
|
* @brief Cortex-M public kernel miscellaneous
|
2015-12-04 23:09:39 +08:00
|
|
|
*
|
2016-12-23 20:32:56 +08:00
|
|
|
* ARM-specific kernel miscellaneous interface. Included by arm/arch.h.
|
2015-07-02 05:22:39 +08:00
|
|
|
*/
|
2015-04-11 07:44:37 +08:00
|
|
|
|
|
|
|
#ifndef _ARCH_ARM_CORTEXM_MISC_H_
|
|
|
|
#define _ARCH_ARM_CORTEXM_MISC_H_
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2015-04-11 07:44:37 +08:00
|
|
|
#ifndef _ASMLANGUAGE
|
2016-12-15 02:04:36 +08:00
|
|
|
extern void k_cpu_idle(void);
|
2017-02-16 05:40:17 +08:00
|
|
|
|
2017-04-21 23:55:34 +08:00
|
|
|
extern u32_t _timer_cycle_get_32(void);
|
2017-02-16 05:40:17 +08:00
|
|
|
#define _arch_k_cycle_get_32() _timer_cycle_get_32()
|
2015-04-11 07:44:37 +08:00
|
|
|
#endif
|
|
|
|
|
2016-01-23 01:38:49 +08:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2015-04-11 07:44:37 +08:00
|
|
|
#endif /* _ARCH_ARM_CORTEXM_MISC_H_ */
|