Searched refs:xplic_phandles (Results 1 – 1 of 1) sorted by relevance
735 uint32_t xplic_phandles[MAX_NODES]; in create_fdt_sockets() local782 &intc_phandles[0], xplic_phandles, in create_fdt_sockets()792 xplic_phandles); in create_fdt_sockets()797 xplic_phandles, in create_fdt_sockets()804 *irq_mmio_phandle = xplic_phandles[0]; in create_fdt_sockets()805 *irq_virtio_phandle = xplic_phandles[0]; in create_fdt_sockets()806 *irq_pcie_phandle = xplic_phandles[0]; in create_fdt_sockets()810 *irq_mmio_phandle = xplic_phandles[socket]; in create_fdt_sockets()811 *irq_virtio_phandle = xplic_phandles[socket]; in create_fdt_sockets()812 *irq_pcie_phandle = xplic_phandles[socket]; in create_fdt_sockets()[all …]