On Mon, 9 May 2022 at 23:55, ishii.shuuic...@fujitsu.com <ishii.shuuic...@fujitsu.com> wrote: > > Hi, Peter. > > > Shuuichirou, Itaru: do either of you know the right setting for the A64FX > > for this? If > > you can find what the hardware value of the ICC_CTLR_EL3 or ICC_CTLR_EL1 > > register is (more specifically, the PRIBits subfield) that should be enough > > to tell > > us. > > The value of the PRIbits field in the A64FX is 0x4. > Therefore, the following values is fine. > > > > + cpu->gic_pribits = 5;
Great, thanks very much for confirming this. -- PMM
