942 	vmcs_write64(guest_val_vmcs, guest_val);  in add_atomic_switch_msr_special()
944 		vmcs_write64(host_val_vmcs, host_val);  in add_atomic_switch_msr_special()
1753 	vmcs_write64(TSC_OFFSET, offset + g_tsc_offset);  in vmx_write_l1_tsc_offset()
2017 		vmcs_write64(GUEST_BNDCFGS, data);  in vmx_set_msr()
2100 			vmcs_write64(GUEST_IA32_PAT, data);  in vmx_set_msr()
2137 		vmcs_write64(GUEST_IA32_RTIT_CTL, data);  in vmx_set_msr()
2954 		vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]);  in vmx_ept_load_pdptrs()
2955 		vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]);  in vmx_ept_load_pdptrs()
2956 		vmcs_write64(GUEST_PDPTR2, mmu->pdptrs[2]);  in vmx_ept_load_pdptrs()
2957 		vmcs_write64(GUEST_PDPTR3, mmu->pdptrs[3]);  in vmx_ept_load_pdptrs()
3073 		vmcs_write64(EPT_POINTER, eptp);  in vmx_load_mmu_pgd()
4064 		vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32));  in vmx_set_constant_host_state()
4068 		vmcs_write64(HOST_IA32_EFER, host_efer);  in vmx_set_constant_host_state()
4299 		vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap));  in init_vmcs()
4301 	vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */  in init_vmcs()
4314 		vmcs_write64(EOI_EXIT_BITMAP0, 0);  in init_vmcs()
4315 		vmcs_write64(EOI_EXIT_BITMAP1, 0);  in init_vmcs()
4316 		vmcs_write64(EOI_EXIT_BITMAP2, 0);  in init_vmcs()
4317 		vmcs_write64(EOI_EXIT_BITMAP3, 0);  in init_vmcs()
4322 		vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc)));  in init_vmcs()
4342 		vmcs_write64(VM_FUNCTION_CONTROL, 0);  in init_vmcs()
4346 	vmcs_write64(VM_EXIT_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.host.val));  in init_vmcs()
4348 	vmcs_write64(VM_ENTRY_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.guest.val));  in init_vmcs()
4351 		vmcs_write64(GUEST_IA32_PAT, vmx->vcpu.arch.pat);  in init_vmcs()
4367 		vmcs_write64(XSS_EXIT_BITMAP, VMX_XSS_EXIT_BITMAP);  in init_vmcs()
4370 		vmcs_write64(PML_ADDRESS, page_to_phys(vmx->pml_pg));  in init_vmcs()
4375 		vmcs_write64(ENCLS_EXITING_BITMAP, -1ull);  in init_vmcs()
4381 		vmcs_write64(GUEST_IA32_RTIT_CTL, 0);  in init_vmcs()
4435 		vmcs_write64(GUEST_IA32_DEBUGCTL, 0);  in vmx_vcpu_reset()
4451 		vmcs_write64(GUEST_BNDCFGS, 0);  in vmx_vcpu_reset()
4458 		vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0);  in vmx_vcpu_reset()
4460 			vmcs_write64(VIRTUAL_APIC_PAGE_ADDR,  in vmx_vcpu_reset()
6239 	vmcs_write64(APIC_ACCESS_ADDR, page_to_phys(page));  in vmx_set_apic_access_page_addr()
6340 	vmcs_write64(EOI_EXIT_BITMAP0, eoi_exit_bitmap[0]);  in vmx_load_eoi_exitmap()
6341 	vmcs_write64(EOI_EXIT_BITMAP1, eoi_exit_bitmap[1]);  in vmx_load_eoi_exitmap()
6342 	vmcs_write64(EOI_EXIT_BITMAP2, eoi_exit_bitmap[2]);  in vmx_load_eoi_exitmap()
6343 	vmcs_write64(EOI_EXIT_BITMAP3, eoi_exit_bitmap[3]);  in vmx_load_eoi_exitmap()