I think we should only insert the event on the vcpu into the ghashtable when the driver was able to start singlestep on it, otherwise we could get out-of-synch.