tree 3624fec1ce694a5444aa6103e9959f531cadc14d
parent 6092666ebdc68b2634db050689292c71a5c368c0
author Paolo Bonzini <pbonzini@redhat.com> 1370179659 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1372952570 +0200

exec: change some APIs to take AddressSpaceDispatch

Reviewed-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>