On 27 July 2018 at 10:54, Luc Michel <luc.mic...@greensocs.com> wrote: > v5: > - Patch 7: dropped unreachable 'return NULL' [Peter] > - Patch 12: reworked the way invalid vIRQ are handled. The > specification being uncleared, I used real hardware to check our > previous hypothesises. See commit message for the adopted behaviour. > The main difference is that when EOIMode is true (EOI split is > enabled), a write to V_EOIR never increments H_HCR.EOICount. [Peter] > - Patch 14-15: fixed commit message regarding mirrored regions. [Peter
Thanks (and especially for taking the time to check the hardware behaviour where the spec was unclear). I've applied this series to my target-arm.for-3.1 branch ready for when we reopen master after the 3.0 release. thanks -- PMM
