1023 	vmcs_write64(guest_val_vmcs, guest_val);  in add_atomic_switch_msr_special()
1025 		vmcs_write64(host_val_vmcs, host_val);  in add_atomic_switch_msr_special()
1918 	vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset);  in vmx_write_tsc_offset()
1923 	vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio);  in vmx_write_tsc_multiplier()
2240 		vmcs_write64(GUEST_IA32_DEBUGCTL, data);  in vmx_set_msr()
2260 		vmcs_write64(GUEST_BNDCFGS, data);  in vmx_set_msr()
2317 			vmcs_write64(GUEST_IA32_PAT, data);  in vmx_set_msr()
2369 		vmcs_write64(GUEST_IA32_RTIT_CTL, data);  in vmx_set_msr()
3235 		vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]);  in vmx_ept_load_pdptrs()
3236 		vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]);  in vmx_ept_load_pdptrs()
3237 		vmcs_write64(GUEST_PDPTR2, mmu->pdptrs[2]);  in vmx_ept_load_pdptrs()
3238 		vmcs_write64(GUEST_PDPTR3, mmu->pdptrs[3]);  in vmx_ept_load_pdptrs()
3391 		vmcs_write64(EPT_POINTER, eptp);  in vmx_load_mmu_pgd()
4351 		vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32));  in vmx_set_constant_host_state()
4355 		vmcs_write64(HOST_IA32_EFER, host_efer);  in vmx_set_constant_host_state()
4713 		vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap));  in init_vmcs()
4715 	vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); /* 22.3.1.5 */  in init_vmcs()
4729 		vmcs_write64(EOI_EXIT_BITMAP0, 0);  in init_vmcs()
4730 		vmcs_write64(EOI_EXIT_BITMAP1, 0);  in init_vmcs()
4731 		vmcs_write64(EOI_EXIT_BITMAP2, 0);  in init_vmcs()
4732 		vmcs_write64(EOI_EXIT_BITMAP3, 0);  in init_vmcs()
4737 		vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc)));  in init_vmcs()
4741 		vmcs_write64(PID_POINTER_TABLE, __pa(kvm_vmx->pid_table));  in init_vmcs()
4765 		vmcs_write64(VM_FUNCTION_CONTROL, 0);  in init_vmcs()
4769 	vmcs_write64(VM_EXIT_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.host.val));  in init_vmcs()
4771 	vmcs_write64(VM_ENTRY_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.guest.val));  in init_vmcs()
4774 		vmcs_write64(GUEST_IA32_PAT, vmx->vcpu.arch.pat);  in init_vmcs()
4790 		vmcs_write64(XSS_EXIT_BITMAP, VMX_XSS_EXIT_BITMAP);  in init_vmcs()
4793 		vmcs_write64(PML_ADDRESS, page_to_phys(vmx->pml_pg));  in init_vmcs()
4803 		vmcs_write64(GUEST_IA32_RTIT_CTL, 0);  in init_vmcs()
4809 	vmcs_write64(GUEST_IA32_DEBUGCTL, 0);  in init_vmcs()
4812 		vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0);  in init_vmcs()
4814 			vmcs_write64(VIRTUAL_APIC_PAGE_ADDR,  in init_vmcs()
4897 		vmcs_write64(GUEST_BNDCFGS, 0);  in vmx_vcpu_reset()
6795 	vmcs_write64(APIC_ACCESS_ADDR, pfn_to_hpa(pfn));  in vmx_set_apic_access_page_addr()
6909 	vmcs_write64(EOI_EXIT_BITMAP0, eoi_exit_bitmap[0]);  in vmx_load_eoi_exitmap()
6910 	vmcs_write64(EOI_EXIT_BITMAP1, eoi_exit_bitmap[1]);  in vmx_load_eoi_exitmap()
6911 	vmcs_write64(EOI_EXIT_BITMAP2, eoi_exit_bitmap[2]);  in vmx_load_eoi_exitmap()
6912 	vmcs_write64(EOI_EXIT_BITMAP3, eoi_exit_bitmap[3]);  in vmx_load_eoi_exitmap()