1 /* SPDX-License-Identifier: (GPL-2.0+ OR MIT) */
2 /*
3  * Microsemi Serval Switch driver
4  *
5  * Copyright (c) 2018 Microsemi Corporation
6  */
7 
8 #ifndef _MSCC_SERVAL_H_
9 #define _MSCC_SERVAL_H_
10 
11 /*
12  * Target offset base(s)
13  */
14 #define MSCC_IO_ORIGIN1_OFFSET 0x70000000
15 #define MSCC_IO_ORIGIN1_SIZE   0x00200000
16 #define MSCC_IO_ORIGIN2_OFFSET 0x71000000
17 #define MSCC_IO_ORIGIN2_SIZE   0x01000000
18 #define BASE_CFG        ((void __iomem *)0x70000000)
19 #define BASE_DEVCPU_GCB ((void __iomem *)0x71070000)
20 
21 #endif
22