Lines Matching defs:val
959 u64 val = vmx->msr_autostore.guest.val[i].value;
961 *data = kvm_read_l1_tsc(vcpu, val);
1071 autostore->val[last].index = msr_index;
1074 autostore->val[msr_autostore_slot] = autostore->val[last];
1523 unsigned long val;
1535 val = __vmcs_readl(field.encoding);
1536 vmcs12_write_any(vmcs12, field.encoding, field.offset, val);
1558 unsigned long val;
1569 val = vmcs12_read_any(vmcs12, field.encoding,
1571 __vmcs_writel(field.encoding, val);
2217 vmcs_write64(VM_EXIT_MSR_STORE_ADDR, __pa(vmx->msr_autostore.guest.val));
2218 vmcs_write64(VM_EXIT_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.host.val));
2219 vmcs_write64(VM_ENTRY_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.guest.val));
4602 if (vmx->msr_autoload.guest.val[i].index == MSR_EFER)
4603 return vmx->msr_autoload.guest.val[i].value;
6026 unsigned long val;
6031 val = kvm_register_read(vcpu, reg);
6035 (val ^ vmcs12->cr0_read_shadow))
6044 (vmcs12->cr4_read_shadow ^ val))
6077 val = (exit_qualification >> LMSW_SOURCE_DATA_SHIFT) & 0x0f;
6079 (val ^ vmcs12->cr0_read_shadow))
6083 (val & 0x1))