Lines Matching defs:val
949 u64 val = vmx->msr_autostore.guest.val[i].value;
951 *data = kvm_read_l1_tsc(vcpu, val);
1061 autostore->val[last].index = msr_index;
1064 autostore->val[msr_autostore_slot] = autostore->val[last];
1068 static bool nested_cr3_valid(struct kvm_vcpu *vcpu, unsigned long val)
1073 return (val & invalid_mask) == 0;
1560 unsigned long val;
1572 val = __vmcs_readl(field.encoding);
1573 vmcs12_write_any(vmcs12, field.encoding, field.offset, val);
1595 unsigned long val;
1606 val = vmcs12_read_any(vmcs12, field.encoding,
1608 __vmcs_writel(field.encoding, val);
2213 vmcs_write64(VM_EXIT_MSR_STORE_ADDR, __pa(vmx->msr_autostore.guest.val));
2214 vmcs_write64(VM_EXIT_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.host.val));
2215 vmcs_write64(VM_ENTRY_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.guest.val));
4360 if (vmx->msr_autoload.guest.val[i].index == MSR_EFER)
4361 return vmx->msr_autoload.guest.val[i].value;
5752 unsigned long val;
5757 val = kvm_register_readl(vcpu, reg);
5761 (val ^ vmcs12->cr0_read_shadow))
5770 (vmcs12->cr4_read_shadow ^ val))
5803 val = (exit_qualification >> LMSW_SOURCE_DATA_SHIFT) & 0x0f;
5805 (val ^ vmcs12->cr0_read_shadow))
5809 (val & 0x1))