Hi Marc, On 7/2/20 10:22 AM, Marc Zyngier wrote: > On 2020-07-02 04:01, Jingyi Wang wrote: >> If gicv4.1(sgi hardware injection) supported, we test ipi injection >> via hw/sw way separately. > > nit: active-less SGIs are not strictly a feature of GICv4.1 (you could > imagine a GIC emulation offering the same thing). Furthermore, GICv4.1 > isn't as such visible to the guest itself (it only sees a GICv3). By the way, I have just downloaded the latest GIC spec from the ARM portal and I still do not find the GICD_CTLR_ENABLE_G1A, GICD_CTLR_nASSGIreq and GICD_TYPER2_nASSGIcap. Do I miss something? Thanks Eric > > Thanks, > > M.
