1 /*
2  * Copyright (C) 2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef BOARD_INFO_H
8 #define BOARD_INFO_H
9 
10 #define MAX_HIDDEN_PDEVS_NUM          0U
11 #define MAX_PCPU_NUM                  4U
12 #define MAX_VMSIX_ON_MSI_PDEVS_NUM    0U
13 #define MAXIMUM_PA_WIDTH              39U
14 #define MMIO32_START                  0X50400000UL
15 #define MMIO32_END                    0XC0000000UL
16 #define MMIO64_START                  0X4000000000UL
17 #define MMIO64_END                    0X8000000000UL
18 #define HI_MMIO_START                 0X4000000000UL
19 #define HI_MMIO_END                   0X8000000000UL
20 
21 #endif /* BOARD_INFO_H */
22