/*
 * Copyright (c) 2016 - 2020, Broadcom
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef IHOST_PM
#define IHOST_PM

#include <stdint.h>

#define CLUSTER_POWER_ON	0x1
#define CLUSTER_POWER_OFF	0x0

void ihost_power_on_cluster(u_register_t mpidr);
void ihost_power_on_secondary_core(u_register_t mpidr, uint64_t rvbar);
void ihost_enable_satellite_timer(unsigned int cluster_id);

#endif