blob: 1d1ce488402c37977353340a9fa1de496bebe81a [file] [log] [blame]
/*
* Copyright (c) 2018, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <assert.h>
#include <platform.h>
#include <platform_def.h>
#include <sp804.h>
#include <stddef.h>
#include <timer.h>
static const plat_timer_t plat_timers = {
.program = sp804_timer_program,
.cancel = sp804_timer_cancel,
.handler = sp804_timer_handler,
.timer_step_value = 2,
.timer_irq = MB_TIMER1_IRQ /* Motherboard SP804 timer1 IRQ */
};
int plat_initialise_timer_ops(const plat_timer_t **timer_ops)
{
assert(timer_ops != NULL);
*timer_ops = &plat_timers;
/* Initialise the system timer */
sp804_timer_init(MB_TIMER1_BASE, MB_TIMER1_FREQ);
return 0;
}