1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (C) 2018, Linaro Limited
4  */
5 
6 #ifndef __TIMER_H
7 #define __TIMER_H
8 
9 void generic_timer_start(uint32_t time_ms);
10 void generic_timer_stop(void);
11 
12 /* Handler for timer expiry interrupt */
13 void generic_timer_handler(uint32_t time_ms);
14 
15 #endif /* __TIMER_H */
16