vm_set_vmcs_field
error = vm_set_vmcs_field(vcpu,
error = vm_set_vmcs_field(vcpu, VMCS_ENTRY_INTR_INFO,