diff options
| author | David Woodhouse <dwmw@amazon.co.uk> | 2023-04-07 17:12:00 +0200 |
|---|---|---|
| committer | Philippe Mathieu-Daudé <philmd@linaro.org> | 2023-08-01 23:40:30 +0200 |
| commit | cf885b19579646d6a085470658bc83432d6786d2 (patch) | |
| tree | 6c875e372799901339b66e174a51d0ac94b07ccf /scripts | |
| parent | 802341823f1720511dd5cf53ae40285f7978c61b (diff) | |
| download | qemu-cf885b19579646d6a085470658bc83432d6786d2.zip qemu-cf885b19579646d6a085470658bc83432d6786d2.tar.gz qemu-cf885b19579646d6a085470658bc83432d6786d2.tar.bz2 | |
hw/xen: fix off-by-one in xen_evtchn_set_gsi()
Coverity points out (CID 1508128) a bounds checking error. We need to check
for gsi >= IOAPIC_NUM_PINS, not just greater-than.
Also fix up an assert() that has the same problem, that Coverity didn't see.
Fixes: 4f81baa33ed6 ("hw/xen: Support GSI mapping to PIRQ")
Signed-off-by: David Woodhouse <dwmw@amazon.co.uk>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-Id: <20230801175747.145906-2-dwmw2@infradead.org>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions