1 /*
2  * Copyright (c) 2021 Telink Semiconductor
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef RISCV_TELINK_B91_SOC_H
8 #define RISCV_TELINK_B91_SOC_H
9 
10 #include <soc_common.h>
11 #include <devicetree.h>
12 
13 /* Machine timer memory-mapped registers */
14 #define RISCV_MTIME_BASE             0xE6000000
15 #define RISCV_MTIMECMP_BASE          0xE6000008
16 
17 #endif /* RISCV_TELINK_B91_SOC_H */
18