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