static void vga_isa_reset(DeviceState *dev)
{
ISAVGAState *d = ISA_VGA(dev);
VGACommonState *s = &d->state;
vga_common_reset(s);
}
static void vga_reset_isa(DeviceState *dev)
{
ISAVGAState *d = container_of(dev, ISAVGAState, dev.qdev);
VGACommonState *s = &d->state;
vga_common_reset(s);
}