Comment 13 for bug 893208

Revision history for this message
Paolo Bonzini (bonzini) wrote :

get_clock() sounds like a good idea. Anybody post the patch? :)