Do not expose the frame'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>
                        spi_start, nr_spis);
        }
 
-       fwnode = irq_domain_alloc_fwnode((void *)m->base_address);
+       fwnode = irq_domain_alloc_fwnode(&res.start);
        if (!fwnode) {
                pr_err("Unable to allocate GICv2m domain token\n");
                return -EINVAL;