| /* | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. | |
| */ | |
| #ifndef RUN_H | |
| #define RUN_H | |
| /* | |
| * Function to enter Realm with `regs` pointing to GP Regs to be | |
| * restored/saved when entering/exiting the Realm. This function | |
| * returns with the Realm exception code which is populated by | |
| * Realm_exit() on aarch64. | |
| */ | |
| int run_realm(unsigned long *regs); | |
| #endif /* RUN_H */ |