Hi,
Thanks for your patch.
FYI: kernel test robot notices the stable kernel rule is not satisfied.
Rule: 'Cc: stable@vger.kernel.org' or 'commit <sha1> upstream.' Subject: [PATCH] arm64: arch_timer: XGene-1 has 31 bit, not 32 bit, arch timer. Link: https://lore.kernel.org/stable/20221021153424.GA25677%40zipoli.concurrent-rt...
The check is based on https://www.kernel.org/doc/html/latest/process/stable-kernel-rules.html