1/*
2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6#pragma once
7
8/* PCI host bridge memory regions are defined in the pci dts node
9 * supplied to the Linux guest. These values are also reflected here.
10 */
11
12/* PCI host bridge configration space */
13#define PCI_CFG_REGION_ADDR 0x3E000000
14/* PCI host bridge IO space */
15#define PCI_IO_REGION_ADDR 0x3D000000
16/* Size of PCI configuration space */
17#define PCI_CFG_REGION_SIZE 0x1000000
18/* Size of PCI IO space  */
19#define PCI_IO_REGION_SIZE 0x10000
20/* PCI memory space */
21#define PCI_MEM_REGION_ADDR 0x3F000000
22/* PCI memory space size */
23#define PCI_MEM_REGION_SIZE 0x1000000
24
25/* FDT IRQ controller address cells definition */
26#define GIC_ADDRESS_CELLS 0x1
27