| /* | |
| * Copyright (c) 2022, Arm Limited. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| * | |
| */ | |
| #ifndef REALM_PLATFORM_H | |
| #define REALM_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 /* REALM_PLATFORM_H */ |