On Tue, 13 Oct 2026 at 12:57, Philippe Mathieu-Daudé <[email protected]> wrote: > Revisiting this comment: > > * For the moment, we do not consider preemptive interrupts, > * because these only occur when there is a HPPI of sufficient > * priority for another interrupt domain, and we only support EL1 > * and the NonSecure interrupt domain currently. > > Is there a way to assert preemptive interrupts are not accessed > by the guest?
They just don't exist when there's only a single interrupt domain, so there's nothing to check. (Preemptive interrupts are either those for the EL3 domain, or else those for a domain configured via the EL3-only register ICC_CR0_EL3.) The check in virt.c that says "don't allow GICv5 when EL3 is enabled" is what keeps a guest out of this not-yet-implemented part of the spec. thanks -- PMM
