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