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 void inject_sync_idabort(unsigned long fsc);
12 void inject_sync_idabort_rec(struct rec *rec, unsigned long fsc);
13 void realm_inject_undef_abort(void);
14 
15 #endif /* INJECT_EXP_H */
16