psci.h

Go to the documentation of this file.

/*
 * 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_ */