commit | ff01b5dbbd040d39619f0f033da6eac5dbed3b2b | [log] [tgz] |
---|---|---|
author | Jean-Philippe Brucker <jean-philippe.brucker@arm.com> | Mon Jun 18 19:42:00 2018 +0100 |
committer | Will Deacon <will.deacon@arm.com> | Tue Jun 19 12:26:38 2018 +0100 |
tree | 3c4ccb83acd2be552cf3c32b84fa5640607b3abe | |
parent | 023fdaae48b45aec087551804616e0836a74d675 [diff] |
pci: allow to specify IRQ type for PCI devices Currently all our virtual device interrupts are edge-triggered. But we're going to need level-triggered interrupts when passing physical devices. Let the device configure its interrupt kind. Keep edge as default, to avoid changing existing users. Reviewed-by: Punit Agrawal <punit.agrawal@arm.com> Signed-off-by: Jean-Philippe Brucker <jean-philippe.brucker@arm.com> Signed-off-by: Will Deacon <will.deacon@arm.com>