diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2022-04-04 16:46:42 +0100 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2022-04-21 11:37:03 +0100 |
| commit | 019eafddd085352b1e0c758ffb8ef532bedb8512 (patch) | |
| tree | 9bfa4e80212d5a695163de2ff93d0e869959ddc0 /net/tap_int.h | |
| parent | 2bd84b6818c790508a65ec34e268295c3cb9315f (diff) | |
hw/intc/exynos4210_gic: Remove unused TYPE_EXYNOS4210_IRQ_GATE
Now we have removed the only use of TYPE_EXYNOS4210_IRQ_GATE we can
delete the device entirely.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Francisco Iglesias <frasse.iglesias@gmail.com>
Message-id: 20220404154658.565020-3-peter.maydell@linaro.org
Diffstat (limited to 'net/tap_int.h')
0 files changed, 0 insertions, 0 deletions