VMCS_EXIT_QUALIFICATION
error = vm_get_vmcs_field(vcpu, VMCS_EXIT_QUALIFICATION,
vmcs_read(VMCS_EXIT_QUALIFICATION);