1 /*
2  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 #define TMR_INTS_EVENT       BIT(0)
10 
11 /* 32 bit down counter */
12 struct timer {
13     uint32_t load;
14     uint32_t count;
15     uint32_t ctrl;
16     uint32_t ints;
17 };
18 typedef volatile struct timer timer_t;
19 extern timer_t *const priv_timer;
20 
resetTimer(void)21 static inline void resetTimer(void)
22 {
23     priv_timer->ints = TMR_INTS_EVENT;
24 }
25 
26