1 /*
2  * Copyright (c) 2023, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <lib/psci/psci.h>
8 #include <plat/arm/common/plat_arm.h>
9 #include <plat/arm/css/common/css_pm.h>
10 
11 #include "morello_private.h"
12 
13 /*******************************************************************************
14  * Morello specific function called when turning off a power domain.
15  * Additionally disables the GIC redistributor interface as cores are disabled
16  * to let cluster-PPU state transition to completion when a cluster is
17  * powered down.
18  ******************************************************************************/
morello_pwr_domain_off(const psci_power_state_t * target_state)19 void morello_pwr_domain_off(const psci_power_state_t *target_state)
20 {
21 	css_pwr_domain_off(target_state);
22 	plat_arm_gic_redistif_off();
23 }
24