Hi Miguel, On Wed, 09 Aug 2023 19:28:08 +0100, Miguel Luis <miguel.luis@xxxxxxxxxx> wrote: > > Hi Marc, > > > On 8 Aug 2023, at 11:46, Marc Zyngier <maz@xxxxxxxxxx> wrote: [...] > > + for (int id = __MULTIPLE_CONTROL_BITS__; > > + id < (__COMPLEX_CONDITIONS__ - 1); > > This condition seems to be discarding the last MCB from being checked, > which IIUC it must also be checked. Indeed, well caught. Now fixed. Thanks, M. -- Without deviation from the norm, progress is not possible.