On Fri, Jul 18, 2025 at 08:22:09AM +0000, Shameerali Kolothum Thodi wrote: > > So, my question was: where do we set the number of 4 to the sbdev? > > As platform_bus_get_irqn() returned very correctly with 0, 4, 8, > > and so on.. > > See smmu_realize() --> smmu_init_irq() > > And then in virt_machine_plug_cb() --> platform_bus_link_device()
Oh, feels like a runtime setup. Interesting. Thanks! Nicolin
