Lines Matching refs:vmcs_value
893 uint64_t vmcs_value, gpa; in vmread_vmexit_handler() local
902 vmcs_value = vmcs12_read_field(&cur_vvmcs->vmcs12, vmcs_field); in vmread_vmexit_handler()
906 vcpu_set_gpreg(vcpu, VMX_II_REG1(info), vmcs_value); in vmread_vmexit_handler()
909 (void)copy_to_gpa(vcpu->vm, &vmcs_value, gpa, 8U); in vmread_vmexit_handler()
912 pr_dbg("vmcs_field: %x vmcs_value: %llx", vmcs_field, vmcs_value); in vmread_vmexit_handler()
928 uint64_t vmcs_value, gpa; in vmwrite_vmexit_handler() local
944 vmcs_value = vcpu_get_gpreg(vcpu, VMX_II_REG1(info)); in vmwrite_vmexit_handler()
947 (void)copy_from_gpa(vcpu->vm, &vmcs_value, gpa, 8U); in vmwrite_vmexit_handler()
962 if (cur_vvmcs->vmcs12.ept_pointer != vmcs_value) { in vmwrite_vmexit_handler()
964 get_vept_desc(vmcs_value); in vmwrite_vmexit_handler()
969 pr_dbg("vmcs_field: %x vmcs_value: %llx", vmcs_field, vmcs_value); in vmwrite_vmexit_handler()
970 vmcs12_write_field(&cur_vvmcs->vmcs12, vmcs_field, vmcs_value); in vmwrite_vmexit_handler()