diff options
author | Michael S. Tsirkin <mst@redhat.com> | 2012-12-10 13:00:45 +0200 |
---|---|---|
committer | Michael S. Tsirkin <mst@redhat.com> | 2012-12-17 13:02:28 +0200 |
commit | 1dd3a74d2ee2d873cde0b390b536e45420b3fe05 (patch) | |
tree | c56fa29b671f76c81ba412dd1a76d9855f41683c /tcg | |
parent | 2059946358999da80be22494af2d5c3174142902 (diff) |
kvm: do not flush after deleting gsi
Deleting a GSI isn't necessary: it is enough
to stop using it. Delay flush until an entry is used.
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'tcg')
0 files changed, 0 insertions, 0 deletions