Do not expose the distributor's VA (it appears in debugfs). Instead,
record the PA, which at least can be used to precisely identify
the associated irqchip and domain.
Acked-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Marc Zyngier <maz@kernel.org>
        if (err)
                goto out_redist_unmap;
 
-       domain_handle = irq_domain_alloc_fwnode(acpi_data.dist_base);
+       domain_handle = irq_domain_alloc_fwnode(&dist->base_address);
        if (!domain_handle) {
                err = -ENOMEM;
                goto out_redist_unmap;