/*
 * 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();
}