12345678910111213141516171819202122232425 |
- /*
- * Copyright (c) 2024, ARM Limited and Contributors. All rights reserved.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
- #ifndef FVP_CPU_PWR_H
- #define FVP_CPU_PWR_H
- #ifndef __ASSEMBLER__
- #include <stdbool.h>
- #include <stdint.h>
- #if __aarch64__
- bool check_cpupwrctrl_el1_is_available(void);
- #endif /* __aarch64__ */
- #endif /* __ASSEMBLER__ */
- /*******************************************************************************
- * CPU Power Control register specific definitions
- ******************************************************************************/
- #define CPUPWRCTLR_EL1 S3_0_C15_C2_7
- #define CPUPWRCTLR_EL1_CORE_PWRDN_BIT U(1)
- #endif /* FVP_CPU_PWR_H */
|