/* * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ #ifndef __GENERIC_DELAY_TIMER_H__ #define __GENERIC_DELAY_TIMER_H__ #include <stdint.h> void generic_delay_timer_init_args(uint32_t mult, uint32_t div); void generic_delay_timer_init(void); #endif /* __GENERIC_DELAY_TIMER_H__ */