1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #ifndef TIMERS_H
7 #define TIMERS_H
8 
9 struct rec;
10 struct rmi_rec_exit;
11 
12 bool check_pending_timers(struct rec *rec);
13 void report_timer_state_to_ns(struct rmi_rec_exit *rec_exit);
14 
15 #endif /* TIMERS_H */
16