855 	vmcs_write64(guest_val_vmcs, guest_val);  in add_atomic_switch_msr_special()
857 		vmcs_write64(host_val_vmcs, host_val);  in add_atomic_switch_msr_special()
1715 	vmcs_write64(TSC_OFFSET, offset);  in vmx_write_tsc_offset()
1720 	vmcs_write64(TSC_MULTIPLIER, multiplier);  in vmx_write_tsc_multiplier()
2003 		vmcs_write64(GUEST_IA32_DEBUGCTL, data);  in vmx_set_msr()
2017 		vmcs_write64(GUEST_BNDCFGS, data);  in vmx_set_msr()
2100 			vmcs_write64(GUEST_IA32_PAT, data);  in vmx_set_msr()
2160 		vmcs_write64(GUEST_IA32_RTIT_CTL, data);  in vmx_set_msr()
2977 		vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]);  in vmx_ept_load_pdptrs()
2978 		vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]);  in vmx_ept_load_pdptrs()
2979 		vmcs_write64(GUEST_PDPTR2, mmu->pdptrs[2]);  in vmx_ept_load_pdptrs()
2980 		vmcs_write64(GUEST_PDPTR3, mmu->pdptrs[3]);  in vmx_ept_load_pdptrs()
3115 		vmcs_write64(EPT_POINTER, eptp);  in vmx_load_mmu_pgd()
4078 		vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32));  in vmx_set_constant_host_state()
4082 		vmcs_write64(HOST_IA32_EFER, host_efer);  in vmx_set_constant_host_state()
4341 		vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap));  in init_vmcs()
4343 	vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */  in init_vmcs()
4354 		vmcs_write64(EOI_EXIT_BITMAP0, 0);  in init_vmcs()
4355 		vmcs_write64(EOI_EXIT_BITMAP1, 0);  in init_vmcs()
4356 		vmcs_write64(EOI_EXIT_BITMAP2, 0);  in init_vmcs()
4357 		vmcs_write64(EOI_EXIT_BITMAP3, 0);  in init_vmcs()
4362 		vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc)));  in init_vmcs()
4382 		vmcs_write64(VM_FUNCTION_CONTROL, 0);  in init_vmcs()
4386 	vmcs_write64(VM_EXIT_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.host.val));  in init_vmcs()
4388 	vmcs_write64(VM_ENTRY_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.guest.val));  in init_vmcs()
4391 		vmcs_write64(GUEST_IA32_PAT, vmx->vcpu.arch.pat);  in init_vmcs()
4407 		vmcs_write64(XSS_EXIT_BITMAP, VMX_XSS_EXIT_BITMAP);  in init_vmcs()
4410 		vmcs_write64(PML_ADDRESS, page_to_phys(vmx->pml_pg));  in init_vmcs()
4420 		vmcs_write64(GUEST_IA32_RTIT_CTL, 0);  in init_vmcs()
4426 	vmcs_write64(GUEST_IA32_DEBUGCTL, 0);  in init_vmcs()
4429 		vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0);  in init_vmcs()
4431 			vmcs_write64(VIRTUAL_APIC_PAGE_ADDR,  in init_vmcs()
4483 		vmcs_write64(GUEST_BNDCFGS, 0);  in vmx_vcpu_reset()
6229 	vmcs_write64(APIC_ACCESS_ADDR, page_to_phys(page));  in vmx_set_apic_access_page_addr()
6327 	vmcs_write64(EOI_EXIT_BITMAP0, eoi_exit_bitmap[0]);  in vmx_load_eoi_exitmap()
6328 	vmcs_write64(EOI_EXIT_BITMAP1, eoi_exit_bitmap[1]);  in vmx_load_eoi_exitmap()
6329 	vmcs_write64(EOI_EXIT_BITMAP2, eoi_exit_bitmap[2]);  in vmx_load_eoi_exitmap()
6330 	vmcs_write64(EOI_EXIT_BITMAP3, eoi_exit_bitmap[3]);  in vmx_load_eoi_exitmap()