In order to allow the GICv4 code to link properly on 32bit ARM,
make sure we don't use 64bit divisions when it isn't strictly
necessary.
Fixes: 4e6437f12d6e ("irqchip/gic-v4.1: Ensure L2 vPE table is allocated at RD level")
Reported-by: Stephen Rothwell <sfr@canb.auug.org.au>
Cc: Zenghui Yu <yuzenghui@huawei.com>
Signed-off-by: Marc Zyngier <maz@kernel.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
 static bool allocate_vpe_l2_table(int cpu, u32 id)
 {
        void __iomem *base = gic_data_rdist_cpu(cpu)->rd_base;
-       u64 val, gpsz, npg;
-       unsigned int psz, esz, idx;
+       unsigned int psz, esz, idx, npg, gpsz;
+       u64 val;
        struct page *page;
        __le64 *table;