Hi Roger,
FWIW, you can also mask the interrupt while waiting for the thread to
execute the interrupt handler. Ie:
1. Interrupt injected
2. Execute guest event channel callback
3. Scan for pending interrupts
4. Mask interrupt
5. Clear pending field
6. Queue threaded handler
7. Go to 3 until all interrupts are drained
[...]
8. Execute interrupt handler in thread
9. Unmask interrupt
That should prevent you from stacking interrupts?
Roger.