1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #ifndef EXIT_H
7 #define EXIT_H
8 
9 #include <stdbool.h>
10 
11 struct rec;
12 struct rmi_rec_exit;
13 
14 bool handle_realm_exit(struct rec *rec, struct rmi_rec_exit *rec_exit, int exception);
15 
16 #endif /* EXIT_H */
17