device: 0.864
instruction: 0.641
network: 0.536
graphic: 0.465
boot: 0.328
other: 0.280
mistranslation: 0.178
assembly: 0.170
semantic: 0.141
KVM: 0.120
socket: 0.085
vnc: 0.084

race condition in hw/input/pckbd.c causes wrong data to be read on interrupts