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 */
18