Line data    Source code

       1           0 : /**
       2             :  * Copyright (c) 2023 Carlo Caione <ccaione@baylibre.com>
       3             :  *
       4             :  * SPDX-License-Identifier: Apache-2.0
       5             :  */
       6             : #ifndef ZEPHYR_INCLUDE_BARRIER_ARM64_H_
       7             : #define ZEPHYR_INCLUDE_BARRIER_ARM64_H_
       8             : 
       9             : #ifndef ZEPHYR_INCLUDE_SYS_BARRIER_H_
      10             : #error Please include <zephyr/sys/barrier.h>
      11             : #endif
      12             : 
      13             : #include <zephyr/toolchain.h>
      14             : 
      15             : #ifdef __cplusplus
      16             : extern "C" {
      17             : #endif
      18             : 
      19             : static ALWAYS_INLINE void z_barrier_dmem_fence_full(void)
      20             : {
      21             :         __asm__ volatile ("dmb sy" ::: "memory");
      22             : }
      23             : 
      24             : static ALWAYS_INLINE void z_barrier_dsync_fence_full(void)
      25             : {
      26             :         __asm__ volatile ("dsb sy" ::: "memory");
      27             : }
      28             : 
      29             : static ALWAYS_INLINE void z_barrier_isync_fence_full(void)
      30             : {
      31             :         __asm__ volatile ("isb" ::: "memory");
      32             : }
      33             : 
      34             : #ifdef __cplusplus
      35             : }
      36             : #endif
      37             : 
      38             : #endif /* ZEPHYR_INCLUDE_BARRIER_ARM64_H_ */