1020 	vmcs_write64(guest_val_vmcs, guest_val);  in add_atomic_switch_msr_special()
1022 		vmcs_write64(host_val_vmcs, host_val);  in add_atomic_switch_msr_special()
1841 	vmcs_write64(TSC_OFFSET, offset + g_tsc_offset);  in vmx_write_l1_tsc_offset()
2106 		vmcs_write64(GUEST_BNDCFGS, data);  in vmx_set_msr()
2189 			vmcs_write64(GUEST_IA32_PAT, data);  in vmx_set_msr()
2226 		vmcs_write64(GUEST_IA32_RTIT_CTL, data);  in vmx_set_msr()
3052 		vmcs_write64(GUEST_PDPTR0, mmu->pdptrs[0]);  in vmx_ept_load_pdptrs()
3053 		vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]);  in vmx_ept_load_pdptrs()
3054 		vmcs_write64(GUEST_PDPTR2, mmu->pdptrs[2]);  in vmx_ept_load_pdptrs()
3055 		vmcs_write64(GUEST_PDPTR3, mmu->pdptrs[3]);  in vmx_ept_load_pdptrs()
3171 		vmcs_write64(EPT_POINTER, eptp);  in vmx_load_mmu_pgd()
4161 		vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32));  in vmx_set_constant_host_state()
4165 		vmcs_write64(HOST_IA32_EFER, host_efer);  in vmx_set_constant_host_state()
4396 		vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap));  in init_vmcs()
4398 	vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */  in init_vmcs()
4411 		vmcs_write64(EOI_EXIT_BITMAP0, 0);  in init_vmcs()
4412 		vmcs_write64(EOI_EXIT_BITMAP1, 0);  in init_vmcs()
4413 		vmcs_write64(EOI_EXIT_BITMAP2, 0);  in init_vmcs()
4414 		vmcs_write64(EOI_EXIT_BITMAP3, 0);  in init_vmcs()
4419 		vmcs_write64(POSTED_INTR_DESC_ADDR, __pa((&vmx->pi_desc)));  in init_vmcs()
4439 		vmcs_write64(VM_FUNCTION_CONTROL, 0);  in init_vmcs()
4443 	vmcs_write64(VM_EXIT_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.host.val));  in init_vmcs()
4445 	vmcs_write64(VM_ENTRY_MSR_LOAD_ADDR, __pa(vmx->msr_autoload.guest.val));  in init_vmcs()
4448 		vmcs_write64(GUEST_IA32_PAT, vmx->vcpu.arch.pat);  in init_vmcs()
4464 		vmcs_write64(XSS_EXIT_BITMAP, VMX_XSS_EXIT_BITMAP);  in init_vmcs()
4467 		vmcs_write64(PML_ADDRESS, page_to_phys(vmx->pml_pg));  in init_vmcs()
4472 		vmcs_write64(ENCLS_EXITING_BITMAP, -1ull);  in init_vmcs()
4478 		vmcs_write64(GUEST_IA32_RTIT_CTL, 0);  in init_vmcs()
4532 		vmcs_write64(GUEST_IA32_DEBUGCTL, 0);  in vmx_vcpu_reset()
4548 		vmcs_write64(GUEST_BNDCFGS, 0);  in vmx_vcpu_reset()
4555 		vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0);  in vmx_vcpu_reset()
4557 			vmcs_write64(VIRTUAL_APIC_PAGE_ADDR,  in vmx_vcpu_reset()
6362 	vmcs_write64(APIC_ACCESS_ADDR, page_to_phys(page));  in vmx_set_apic_access_page_addr()
6458 	vmcs_write64(EOI_EXIT_BITMAP0, eoi_exit_bitmap[0]);  in vmx_load_eoi_exitmap()
6459 	vmcs_write64(EOI_EXIT_BITMAP1, eoi_exit_bitmap[1]);  in vmx_load_eoi_exitmap()
6460 	vmcs_write64(EOI_EXIT_BITMAP2, eoi_exit_bitmap[2]);  in vmx_load_eoi_exitmap()
6461 	vmcs_write64(EOI_EXIT_BITMAP3, eoi_exit_bitmap[3]);  in vmx_load_eoi_exitmap()