/*
 * 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 "n1sdp_private.h"

/*******************************************************************************
 * N1SDP 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 n1sdp_pwr_domain_off(const psci_power_state_t *target_state)
{
	css_pwr_domain_off(target_state);
	plat_arm_gic_redistif_off();
}