| /* | |
| * Copyright (c) 2023, Arm Limited. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| * | |
| */ | |
| #include <stdint.h> | |
| void realm_cpu_off(void); | |
| u_register_t realm_cpu_on(u_register_t mpidr, uintptr_t entrypoint, | |
| u_register_t context_id); | |
| u_register_t realm_psci_affinity_info(u_register_t target_affinity, | |
| uint32_t lowest_affinity_level); | |
| u_register_t realm_psci_features(uint32_t psci_func_id); |