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