The IRQ output line is reset along with the HPET (via signaling a new state on the corresponding GPIO line), not the PIT itself. Signed-off-by: Jan Kiszka <jan.kiszka@xxxxxxxxxxx> --- hw/i8254.c | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-) diff --git a/hw/i8254.c b/hw/i8254.c index befad05..ca24ab9 100644 --- a/hw/i8254.c +++ b/hw/i8254.c @@ -432,9 +432,6 @@ static void pit_reset(DeviceState *dev) PITChannelState *s; int i; -#ifdef TARGET_I386 - pit->channels[0].irq_disabled = 0; -#endif for(i = 0;i < 3; i++) { s = &pit->channels[i]; s->mode = 3; -- 1.7.3.4 -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html