ea98e5a92e
Summary For ARM64, it need to set IRQ type(EDGE or LEVEL). it's specific for ARM64 PPI or SPI. The change add arm64_gic_irq_trigger to set IRQ type Signed-off-by: qinwei1 <qinwei1@xiaomi.com> |
||
---|---|---|
.. | ||
include | ||
src | ||
Kconfig |