I want to know about List Register in GIC v2.
I'm reading ARM Generic Interrupt Controller specification.
This explain all of the registers that are used for interrupt control and for virtualization.
And also if it's a banked register, they say it as a banked register like bellow.
But about List Register, they do not mention it as a banked register.
However i think it might be a banked register per physical core.
This is a capture of GICv2 specification about List Register.

If whoever knows about if it is banked or not, please let me know.
Thank you previously.
