1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (C) 2018, Linaro Limited 4 */ 5 6 #ifndef __KERNEL_TIMER_H 7 #define __KERNEL_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 /* __KERNEL_TIMER_H */ 16