| Soby Mathew | b4c6df4 | 2022-11-09 11:13:29 +0000 | [diff] [blame] | 1 | /* |
| 2 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 3 | * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. | ||||
| 4 | */ | ||||
| 5 | |||||
| 6 | #ifndef RUN_H | ||||
| 7 | #define RUN_H | ||||
| 8 | |||||
| 9 | /* | ||||
| 10 | * Function to enter Realm with `regs` pointing to GP Regs to be | ||||
| 11 | * restored/saved when entering/exiting the Realm. This function | ||||
| 12 | * returns with the Realm exception code which is populated by | ||||
| 13 | * Realm_exit() on aarch64. | ||||
| 14 | */ | ||||
| 15 | int run_realm(unsigned long *regs); | ||||
| 16 | |||||
| 17 | #endif /* RUN_H */ | ||||