generic_delay_timer.h 347 B

12345678910111213141516
  1. /*
  2. * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
  3. *
  4. * SPDX-License-Identifier: BSD-3-Clause
  5. */
  6. #ifndef GENERIC_DELAY_TIMER_H
  7. #define GENERIC_DELAY_TIMER_H
  8. #include <stdint.h>
  9. void generic_delay_timer_init_args(uint32_t mult, uint32_t div);
  10. void generic_delay_timer_init(void);
  11. #endif /* GENERIC_DELAY_TIMER_H */