On 9 September 2014 16:56, Eric Auger <eric.auger@xxxxxxxxxx> wrote: > irq_start: needed because when the "interrupts" property is set for the > leaf component the irq number is irq_start + > object_property_get_int(obj, "irq[i]", NULL) > irq[i] being in [0, params->platform_bus_num_irqs] > > intc: this was in case the leaf component would use "interrupt-parent" > prop. I miss experience on device trees and I don't know if it make > sense the leaf component uses a different interrupt controller than the > parent platform bus or if such property is mandatory in some cases. > Maybe not needed indeed. Somewhat tangential, but for passthrough devices how do we decide whether the device tree node needs to mark the interrupt as edge or level triggered? Presumably this is going to be a "depends on what the passed through hardware is" thing... -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm