/*
 * Copyright (c) 2022-2023, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#ifndef PLATFORM_H
#define PLATFORM_H

/*
 * Helper that returns a linear core ID from a MPID
 * Need to provide a RSI_HOST_CALL to request this from Host platform.
 */
unsigned int platform_get_core_pos(u_register_t mpid)
{
	return 0U;
}

#endif /* PLATFORM_H */