mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2025-08-15 17:07:04 +02:00
82cb2c1ad9
To make software license auditing simpler, use SPDX[0] license identifiers instead of duplicating the license text in every file. NOTE: Files that have been imported by FreeBSD have not been modified. [0]: https://spdx.org/ Change-Id: I80a00e1f641b8cc075ca5a95b10607ed9ed8761a Signed-off-by: dp-arm <dimitris.papastamos@arm.com>
29 lines
666 B
C
29 lines
666 B
C
/*
|
|
* 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 <delay_timer.h>
|
|
#include <stdint.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__ */
|