/*
 * Copyright 2024 NXP
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef PLAT_HELPERS_H
#define PLAT_HELPERS_H

unsigned int s32g2_core_pos_by_mpidr(u_register_t mpidr);

#endif /* PLAT_HELPERS_H */