diff options
| author | Jan Kiszka <jan.kiszka@siemens.com> | 2011-08-22 19:12:11 +0200 |
|---|---|---|
| committer | Anthony Liguori <aliguori@us.ibm.com> | 2011-08-22 14:37:03 -0500 |
| commit | fe55ff6e6114c7382a68a2cf7230f125d4f3a248 (patch) | |
| tree | 34771dbe769cfe7c426f45042ce20247aec30552 /hw/vga_int.h | |
| parent | 8d121d49604a42ea5c5b1268c6e45d1699e9e6f6 (diff) | |
vmware-vga: Eliminate vga_dirty_log_restart
After the conversion to the new Memory API, vga_dirty_log_restart became
seriously pointless. Remove it from vmware-vga and and then finally drop
the service.
CC: Andrzej Zaborowski <balrogg@gmail.com>
CC: Avi Kivity <avi@redhat.com>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'hw/vga_int.h')
| -rw-r--r-- | hw/vga_int.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hw/vga_int.h b/hw/vga_int.h index 7e4ed71b78..d2dd7dd367 100644 --- a/hw/vga_int.h +++ b/hw/vga_int.h @@ -193,7 +193,6 @@ void vga_common_reset(VGACommonState *s); void vga_dirty_log_start(VGACommonState *s); void vga_dirty_log_stop(VGACommonState *s); -void vga_dirty_log_restart(VGACommonState *s); extern const VMStateDescription vmstate_vga_common; uint32_t vga_ioport_read(void *opaque, uint32_t addr); |