| /* |
| * Copyright (c) 2023, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <lib/psci/psci.h> |
| #include <plat/arm/common/plat_arm.h> |
| #include <plat/arm/css/common/css_pm.h> |
| |
| #include "morello_private.h" |
| |
| /******************************************************************************* |
| * Morello specific function called when turning off a power domain. |
| * Additionally disables the GIC redistributor interface as cores are disabled |
| * to let cluster-PPU state transition to completion when a cluster is |
| * powered down. |
| ******************************************************************************/ |
| void morello_pwr_domain_off(const psci_power_state_t *target_state) |
| { |
| css_pwr_domain_off(target_state); |
| plat_arm_gic_redistif_off(); |
| } |