On 21/02/2019 09:38, Julien Grall wrote: > Hi Roger, > > On Thu, 21 Feb 2019, 08:08 Roger Pau Monné, <roger....@citrix.com > <mailto:roger....@citrix.com>> wrote: > > FWIW, you can also mask the interrupt while waiting for the thread to > execute the interrupt handler. Ie: > > > Thank you for providing steps, however where would the masking be done? > By the irqchip or a custom solution?
I'd go the irqchip route. This would be the least intrusive change without the need for handling RT in a special way. Juergen