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 /hw/Makefile.objs | |
| 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 'hw/Makefile.objs')
0 files changed, 0 insertions, 0 deletions