[PATCH] irqchip/gic-v3-its: Claim LPI tables inherited across kexec on DT

[Qianhui Xu]

Hi Marc,

Understood on all three points, and the series is withdrawn -- I am not
going to resend it in any form.

Just so it is on record that I got the reasoning right this time:

 - Inheriting LPI tables is not something the incoming kernel can decide to
   fix up after the fact.  By the time it runs, it can no longer tell which
   of those pages are still the LPI tables and which are ordinary memory it
   has already handed out, so any "claim" is a race with a statistical
   chance of being correct.  That is why it is either configured before the
   handoff, or not at all.
 - EFI and DT are not alternatives: the reservation has to exist in
   whichever description the next kernel is given, EFI memory map or DT
   reserved-memory, and EFI booting a DT machine is the normal case.
 - Therefore the LPI tables have to be programmed and reserved by the
   firmware/bootloader at boot and stay reserved across the whole kexec
   chain.

In our case the "bootloader" for a kexec chain is the kexec loader itself,
so the work moves there: add the reservation to the FDT that is handed over
(e.g. grow the blob when there is no space for the memreserve) and have the
loader program the tables, instead of the kernel trying to reclaim them.
Anything that needs LPIs will simply use a full reboot until that exists.

No further review requested -- thanks for stopping this early rather than
after a round of review.

Best regards,
Qianhui