How to know the interrupt ID which is signaled currently without acknowledging it

Frederic 1 month ago

At EL2, all the interrupts are trapped to EL2. Based on the interrupt ID I want to switch to guest to further handle.

Is it safe to rely on ICC_HPPIR1_EL1 to peek the highest pending interrupt and based on the INT ID switch to guest to which the interrupt is assigned?

I don't want to acknowledge the interrupt in EL2 by reading ICC_IAR1_EL1.

Top replies

Martin Weidmann 1 month ago +1 suggested

ICC_HPPIR1_EL1 will tell you the HPPI at the moment in time when you read it. So, yes, you can use it to peek a the current HPPI. The issue is that interrupts are asynchronous events. The HPPI changes...