Reviewed-by: NRichard Henderson  <rth@twiddle.net>
Acked-by: NEdgar E. Iglesias <edgar.iglesias@gmail.com>
Signed-off-by: NAvi Kivity <avi@redhat.com>