On Wed, 2017-03-15 at 17:16 +1100, David Gibson wrote: > It might be cleaner to just revaluate the irq level from scratch > here, > and set the level, rather than doing this complicated dance to work > out if it has changed.
Hrm... there was a reason I did it this way but I can't quite remember why... Cheers, Ben.
