1cc58b2d0SRyan Harkin /* 2cc58b2d0SRyan Harkin * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. 3cc58b2d0SRyan Harkin * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 5cc58b2d0SRyan Harkin */ 6cc58b2d0SRyan Harkin 7c3cf06f1SAntonio Nino Diaz #ifndef SP804_DELAY_TIMER_H 8c3cf06f1SAntonio Nino Diaz #define SP804_DELAY_TIMER_H 9cc58b2d0SRyan Harkin 10cc58b2d0SRyan Harkin #include <stdint.h> 11cc58b2d0SRyan Harkin 12*09d40e0eSAntonio Nino Diaz #include <drivers/delay_timer.h> 13cc58b2d0SRyan Harkin 14cc58b2d0SRyan Harkin uint32_t sp804_get_timer_value(void); 15cc58b2d0SRyan Harkin 16cc58b2d0SRyan Harkin void sp804_timer_ops_init(uintptr_t base_addr, const timer_ops_t *ops); 17cc58b2d0SRyan Harkin 18cc58b2d0SRyan Harkin #define sp804_timer_init(base_addr, clk_mult, clk_div) \ 1954312877SSandrine Bailleux do { \ 2054312877SSandrine Bailleux static const timer_ops_t sp804_timer_ops = { \ 2154312877SSandrine Bailleux sp804_get_timer_value, \ 2254312877SSandrine Bailleux (clk_mult), \ 2354312877SSandrine Bailleux (clk_div) \ 2454312877SSandrine Bailleux }; \ 2554312877SSandrine Bailleux sp804_timer_ops_init((base_addr), &sp804_timer_ops); \ 2654312877SSandrine Bailleux } while (0) 27cc58b2d0SRyan Harkin 28c3cf06f1SAntonio Nino Diaz #endif /* SP804_DELAY_TIMER_H */ 29