1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #ifndef INJECT_EXP_H
7 #define INJECT_EXP_H
8 
9 struct rec;
10 
11 /* TODO: move declaration to suitable header */
12 void advance_pc(void);
13 
14 void inject_sync_idabort(unsigned long fsc);
15 void inject_sync_idabort_rec(struct rec *rec, unsigned long fsc);
16 void realm_inject_undef_abort(void);
17 
18 #endif /* INJECT_EXP_H */
19