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>
        /*
         * Initialize GIC instance zero (no multi-GIC support).
         */
-       domain_handle = irq_domain_alloc_fwnode(gic->raw_dist_base);
+       domain_handle = irq_domain_alloc_fwnode(&dist->base_address);
        if (!domain_handle) {
                pr_err("Unable to allocate domain handle\n");
                gic_teardown(gic);