When 'injecting' an edge-triggered interrupt with a falling edge we
shouldn't clear the pending state on the distributor. In fact, we
don't, because the check in vgic_validate_injection would prevent us
from ever reaching this bit of code.
Remove the unreachable snippet.
Signed-off-by:
Hej Christoffer,
On 24/11/14 09:41, Christoffer Dall wrote:
When 'injecting' an edge-triggered interrupt with a falling edge we
shouldn't clear the pending state on the distributor. In fact, we
don't, because the check in vgic_validate_injection would prevent us
from ever reaching this bit
On Mon, Nov 24, 2014 at 12:04:11PM +, Andre Przywara wrote:
Hej Christoffer,
On 24/11/14 09:41, Christoffer Dall wrote:
When 'injecting' an edge-triggered interrupt with a falling edge we
shouldn't clear the pending state on the distributor. In fact, we
don't, because the check in
