| nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2022, Arm Limited. All rights reserved. | ||||
| 3 | * | ||||
| 4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 5 | * | ||||
| 6 | */ | ||||
| 7 | |||||
| 8 | #ifndef REALM_PLATFORM_H | ||||
| 9 | #define REALM_PLATFORM_H | ||||
| 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 | |||||
| 20 | #endif /* REALM_PLATFORM_H */ | ||||