Code and format roughly based on Xen's vmcs_dump_vcpu. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Attach a file by drag & drop or click to upload
Paolo Bonzini <pbonzini@redhat.com>
4eb64dce
Paolo Bonzini <pbonzini@redhat.com>