| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| /* | |
| * Copyright (C) 2018, Linaro Limited | |
| */ | |
| #ifndef __TIMER_H | |
| #define __TIMER_H | |
| void generic_timer_start(uint32_t time_ms); | |
| void generic_timer_stop(void); | |
| /* Handler for timer expiry interrupt */ | |
| void generic_timer_handler(uint32_t time_ms); | |
| #endif /* __TIMER_H */ |