tree a7d3db420ee95f01332aed72d01fc0774e4fad86
parent add40e9777de139fb317ca6b1fb0dc142601cfcd
author Paolo Bonzini <pbonzini@redhat.com> 1381159311 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1382023860 +0200

icount: use cpu_get_icount() directly

This will help later when we will have to place these calls in
a critical section, and thus call a version of cpu_get_icount()
that does not take the lock.

Reviewed-by: Alex Bligh <alex@alex.org.uk>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>