1 /* SPDX-License-Identifier: GPL-2.0 */
8 * Note about PCI IO space mappings
10 * To make IO space accesses efficient, we store virtual addresses in
13 * The PCI IO space is located at virtual 0xfe000000 from physical
14 * 0x90000000. The PCI BARs must be programmed with physical addresses,
15 * but when we read them, we convert them to virtual addresses. See
16 * arch/arm/plat-iop/pci.c.
20 void iop32x_init_irq(void);
25 * Generic chipset bits