GIC v2虚拟化列表注册

Question

我想了解GIC v2中的列表注册。

我正在阅读ARM通用中断控制器规范。

这解释了用于中断控制和虚拟化的所有寄存器。

而且，如果它是一个库存寄存器，他们会把它称为像下面这样的库存寄存器。

但是关于列表注册，他们并没有将其作为存储库注册。

但是我认为它可能是每个物理核心的库存寄存器。

这是关于列表寄存器的GICv2规范的捕获。

如果谁知道它是否已存入银行，请告诉我。

先谢谢你。