1 /*
2  * Copyright (C) 2017-2019 Alibaba Group Holding Limited
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * Change Logs:
7  * Date           Author       Notes
8  * 2020-08-20     zx.chen      header file for timer driver
9  */
10 
11 #ifndef __DW_TIMER_H
12 #define __DW_TIMER_H
13 
14 #include <stdio.h>
15 #include "soc.h"
16 
17 #ifdef __cplusplus
18 extern "C" {
19 #endif
20 
21 /*
22  *  define the bits for TxControl
23  */
24 #define DW_TIMER_TXCONTROL_ENABLE      (1UL << 0)
25 #define DW_TIMER_TXCONTROL_MODE        (1UL << 1)
26 #define DW_TIMER_TXCONTROL_INTMASK     (1UL << 2)
27 #define DW_TIMER_TXCONTROL_TRIGGER     (1UL << 4)
28 
29 #define DW_TIMER_INIT_DEFAULT_VALUE     (0xffffffff / drv_get_timer_freq(0) * 1000000)
30 
31 typedef struct
32 {
33     __IOM uint32_t TxLoadCount;              /* Offset: 0x000 (R/W)  Receive buffer register */
34     __IM  uint32_t TxCurrentValue;            /* Offset: 0x004 (R)  Transmission hold register */
35     __IOM uint8_t  TxControl: 5;              /* Offset: 0x008 (R/W)  Clock frequency division low section register */
36     uint8_t        RESERVED0[3];
37     __IM  uint8_t  TxEOI: 1;                   /* Offset: 0x00c (R)  Clock frequency division high section register */
38     uint8_t        RESERVED1[3];
39     __IM  uint8_t  TxIntStatus: 1;             /* Offset: 0x010 (R)  Interrupt enable register */
40     uint8_t        RESERVED2[3];
41 } dw_timer_reg_t;
42 
43 #ifdef __cplusplus
44 }
45 #endif
46 
47 #endif /* __DW_TIMER_H */
48 
49