On Mon, 24 Aug 2026 at 11:28, Peter Maydell <[email protected]> wrote: > > The IRS_IST_BASER.ADDR documentation says: > > For IRS_IST_CFGR.STRUCTURE = 0: > Bits[N:0] of the resulting address are 0 where N depends on the ISTSZ > and LPI_ID_BITS fields in IRS_IST_CFGR as follows: > N = Max(5, (ISTSZ + 1) + LPI_ID_BITS) > For IRS_IST_CFGR.STRUCTURE = 1: > > Bits[N:0] of the resulting address are 0 where N depends on L2SZ, > ISTSZ, and LPI_ID_BITS in IRS_IST_CFGR as follows: > N = Max(5, LPI_ID_BITS - ((10 - ISTSZ) + (2 * L2SZ)) + 2)
> + cfg->base &= MAKE_64BIT_MASK(0, tableszbits); No sooner had I sent this than I found a bug: this should be &= ~MAKE_64BIT_MASK(...) -- PMM
