Searched refs:PCI_CFG_REGION_ADDR (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/
H A Dvpci.h13 #define PCI_CFG_REGION_ADDR 0xDE000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tk1/sel4vmmplatsupport/plat/
H A Dvpci.h13 #define PCI_CFG_REGION_ADDR 0x3E000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Dvpci.h13 #define PCI_CFG_REGION_ADDR 0x3E000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/odroidc2/sel4vmmplatsupport/plat/
H A Dvpci.h13 #define PCI_CFG_REGION_ADDR 0x3E000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/
H A Dvpci.h13 #define PCI_CFG_REGION_ADDR 0x3E000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tx1/sel4vmmplatsupport/plat/
H A Dvpci.h13 #define PCI_CFG_REGION_ADDR 0x3EE000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c124 fault_addr -= PCI_CFG_REGION_ADDR;
180 .pstart = PCI_CFG_REGION_ADDR,
261 FDT_OP(append_prop_with_cells(fdt, pci_node, PCI_CFG_REGION_ADDR, address_cells, "reg"));

Completed in 39 milliseconds