Line data    Source code

       1            0 : /*
       2              :  * Copyright 2020 Carlo Caione <ccaione@baylibre.com>
       3              :  *
       4              :  * SPDX-License-Identifier: Apache-2.0
       5              :  */
       6              : 
       7              : #ifndef ZEPHYR_INCLUDE_DRIVERS_PM_CPU_OPS_PSCI_H_
       8              : #define ZEPHYR_INCLUDE_DRIVERS_PM_CPU_OPS_PSCI_H_
       9              : 
      10              : #include <zephyr/types.h>
      11              : #include <zephyr/arch/arm64/arm-smccc.h>
      12              : #include <stddef.h>
      13              : #include <zephyr/device.h>
      14              : 
      15              : #ifdef __cplusplus
      16              : extern "C" {
      17              : #endif
      18              : 
      19              : /* PSCI version decoding (independent of PSCI version) */
      20            0 : #define PSCI_VERSION_MAJOR_SHIFT                16
      21            0 : #define PSCI_VERSION_MINOR_MASK                 \
      22              :                 ((1U << PSCI_VERSION_MAJOR_SHIFT) - 1)
      23            0 : #define PSCI_VERSION_MAJOR_MASK                 ~PSCI_VERSION_MINOR_MASK
      24              : 
      25            0 : #define PSCI_VERSION_MAJOR(ver)                 \
      26              :                 (((ver) & PSCI_VERSION_MAJOR_MASK) >> PSCI_VERSION_MAJOR_SHIFT)
      27            0 : #define PSCI_VERSION_MINOR(ver)                 \
      28              :                 ((ver) & PSCI_VERSION_MINOR_MASK)
      29              : 
      30            0 : uint32_t psci_version(void);
      31              : 
      32              : #ifdef __cplusplus
      33              : }
      34              : #endif
      35              : 
      36              : #endif /* ZEPHYR_INCLUDE_DRIVERS_PM_CPU_OPS_PSCI_H_ */