| nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 1 | /* |
| AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame^] | 2 | * Copyright (c) 2022-2023, Arm Limited. All rights reserved. |
| nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame^] | 8 | #ifndef PLATFORM_H |
| 9 | #define PLATFORM_H |
| nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 10 | |
| 11 | /* |
| 12 | * Helper that returns a linear core ID from a MPID |
| 13 | * Need to provide a RSI_HOST_CALL to request this from Host platform. |
| 14 | */ |
| 15 | unsigned int platform_get_core_pos(u_register_t mpid) |
| 16 | { |
| 17 | return 0U; |
| 18 | } |
| 19 | |
| AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame^] | 20 | #endif /* PLATFORM_H */ |