123456789101112131415161718192021222324252627282930313233343536 |
- /*
- * Copyright 2020 Carlo Caione <ccaione@baylibre.com>
- *
- * SPDX-License-Identifier: Apache-2.0
- */
- #ifndef ZEPHYR_INCLUDE_DRIVERS_PM_CPU_OPS_PSCI_H_
- #define ZEPHYR_INCLUDE_DRIVERS_PM_CPU_OPS_PSCI_H_
- #include <zephyr/types.h>
- #include <arch/arm64/arm-smccc.h>
- #include <stddef.h>
- #include <device.h>
- #ifdef __cplusplus
- extern "C" {
- #endif
- /* PSCI version decoding (independent of PSCI version) */
- #define PSCI_VERSION_MAJOR_SHIFT 16
- #define PSCI_VERSION_MINOR_MASK \
- ((1U << PSCI_VERSION_MAJOR_SHIFT) - 1)
- #define PSCI_VERSION_MAJOR_MASK ~PSCI_VERSION_MINOR_MASK
- #define PSCI_VERSION_MAJOR(ver) \
- (((ver) & PSCI_VERSION_MAJOR_MASK) >> PSCI_VERSION_MAJOR_SHIFT)
- #define PSCI_VERSION_MINOR(ver) \
- ((ver) & PSCI_VERSION_MINOR_MASK)
- uint32_t psci_version(void);
- #ifdef __cplusplus
- }
- #endif
- #endif /* ZEPHYR_INCLUDE_DRIVERS_PM_CPU_OPS_PSCI_H_ */
|