include/drivers/arm/sp804_delay_timer.h

   1 /*
   2  * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
   3  *
   4  * SPDX-License-Identifier: BSD-3-Clause
   5  */
   6
   7 #ifndef SP804_DELAY_TIMER_H
   8 #define SP804_DELAY_TIMER_H
   9
  10 #include <stdint.h>
  11
  12 #include <drivers/delay_timer.h>
  13
  14 uint32_t sp804_get_timer_value(void);
  15
  16 void sp804_timer_ops_init(uintptr_t base_addr, const timer_ops_t *ops);
  17
  18 #define sp804_timer_init(base_addr, clk_mult, clk_div)                  \
  19         do {                                                            \
  20                 static const timer_ops_t sp804_timer_ops = {            \
  21                         sp804_get_timer_value,                          \
  22                         (clk_mult),                                     \
  23                         (clk_div)                                       \
  24                 };                                                      \
  25                 sp804_timer_ops_init((base_addr), &sp804_timer_ops);    \
  26         } while (0)
  27
  28 #endif /* SP804_DELAY_TIMER_H */