You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

29 lines
662 B

/*
* 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 */