On 10/30/2015 02:05 PM, Mark Rutland wrote:
I was only asking why the interrupt was optional, and it seems per the spec it's expected to be handed to an agent at a higher exception level.
That implies that the OS should only care about WS0, assuming that I've understood correctly.
Yes, this my understand as well. Apologies if I didn't get that across.