kernel code reading: misc modification for irq on power
qemu code reading: qemu commandline example
kernel code reading: specify the type of device list in iommu_group