hw/arm/exynos4210: Use TYPE_OR_IRQ instead of custom OR-gate device
[qemu.git] / subprojects / 
tree6f3b3e5eab14775cbbb11b0140a8d0b7bc37edb8
drwxr-xr-x   ..
drwxr-xr-x - libvhost-user