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 "n1sdp_private.h"
12 
13 /*******************************************************************************
14  * N1SDP specific function called when turning off a power domain. Additionally
15  * disables the GIC redistributor interface as cores are disabled to
16  * let cluster-PPU state transition to completion when a cluster is powered
17  * down.
18  ******************************************************************************/
n1sdp_pwr_domain_off(const psci_power_state_t * target_state)19 void n1sdp_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