| commit | 95a36455274f519e8ebd11fbb5492cb4fe3b5068 | |
| author | Artem Chernyshev <artem.chernyshev@red-soft.ru> | |
| Fri, 29 Mar 2024 11:39:39 +0000 (29 14:39 +0300) | ||
| committer | Philippe Mathieu-Daudé <philmd@linaro.org> | |
| Tue, 2 Apr 2024 14:15:07 +0000 (2 16:15 +0200) | ||
| tree | 1e928e846f5ec70cfd0a7cb49e3ba0248347b019 | treesnapshot (tar.gz zip) |
| parent | 0fa5eefa1643e95eefa7b7bb452565ee64b0470a | commitdiff |
hw/xen_evtchn: Initialize flush_kvm_routes
In xen_evtchn_soft_reset() variable flush_kvm_routes can
be used before being initialized.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Oleg Sviridov <oleg.sviridov@red-soft.ru>
Signed-off-by: Artem Chernyshev <artem.chernyshev@red-soft.ru>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-ID: <20240329113939.257033-1-artem.chernyshev@red-soft.ru>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
In xen_evtchn_soft_reset() variable flush_kvm_routes can
be used before being initialized.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Oleg Sviridov <oleg.sviridov@red-soft.ru>
Signed-off-by: Artem Chernyshev <artem.chernyshev@red-soft.ru>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-ID: <20240329113939.257033-1-artem.chernyshev@red-soft.ru>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
| hw/i386/kvm/xen_evtchn.c | diffblobblamehistory |