Line data    Source code

       1            1 : /*
       2              :  * Copyright (c) 2019 Carlo Caione <ccaione@baylibre.com>
       3              :  *
       4              :  * SPDX-License-Identifier: Apache-2.0
       5              :  */
       6              : 
       7              : /**
       8              :  * @file
       9              :  * @brief Cortex-A public kernel miscellaneous
      10              :  *
      11              :  * ARM64-specific kernel miscellaneous interface. Included by
      12              :  * arm64/arch.h.
      13              :  */
      14              : 
      15              : #ifndef ZEPHYR_INCLUDE_ARCH_ARM64_MISC_H_
      16              : #define ZEPHYR_INCLUDE_ARCH_ARM64_MISC_H_
      17              : 
      18              : #ifdef __cplusplus
      19              : extern "C" {
      20              : #endif
      21              : 
      22              : #ifndef _ASMLANGUAGE
      23            0 : extern uint32_t sys_clock_cycle_get_32(void);
      24              : 
      25            0 : static inline uint32_t arch_k_cycle_get_32(void)
      26              : {
      27              :         return sys_clock_cycle_get_32();
      28              : }
      29              : 
      30            0 : extern uint64_t sys_clock_cycle_get_64(void);
      31              : 
      32            0 : static inline uint64_t arch_k_cycle_get_64(void)
      33              : {
      34              :         return sys_clock_cycle_get_64();
      35              : }
      36              : 
      37            0 : static ALWAYS_INLINE void arch_nop(void)
      38              : {
      39              :         __asm__ volatile("nop");
      40              : }
      41              : 
      42              : #endif
      43              : 
      44              : #ifdef __cplusplus
      45              : }
      46              : #endif
      47              : 
      48              : #endif /* ZEPHYR_INCLUDE_ARCH_ARM64_MISC_H_ */