1184 		vmcs_write(VMCS_ENTRY_MSR_LOAD, pmap_kextract(  in vmx_vcpu_init()
1186 		vmcs_write(VMCS_ENTRY_MSR_LOAD_COUNT,  in vmx_vcpu_init()
1188 		vmcs_write(VMCS_EXIT_MSR_STORE, 0);  in vmx_vcpu_init()
1189 		vmcs_write(VMCS_EXIT_MSR_STORE_COUNT, 0);  in vmx_vcpu_init()
1358 	vmcs_write(VMCS_HOST_TR_BASE, vmm_get_host_trbase());  in vmx_set_pcpu_defaults()
1359 	vmcs_write(VMCS_HOST_GDTR_BASE, vmm_get_host_gdtrbase());  in vmx_set_pcpu_defaults()
1360 	vmcs_write(VMCS_HOST_GS_BASE, vmm_get_host_gsbase());  in vmx_set_pcpu_defaults()
1375 		vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);  in vmx_set_int_window_exiting()
1387 	vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);  in vmx_clear_int_window_exiting()
1397 		vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);  in vmx_set_nmi_window_exiting()
1409 	vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);  in vmx_clear_nmi_window_exiting()
1420 		vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);  in vmx_set_tsc_offset()
1455 	vmcs_write(VMCS_ENTRY_INTR_INFO, info);  in vmx_inject_nmi()
1482 			vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);  in vmx_inject_interrupts()
1506 			vmcs_write(VMCS_ENTRY_EXCEPTION_ERROR, entryinfo >> 32);  in vmx_inject_interrupts()
1508 		vmcs_write(VMCS_ENTRY_INTR_INFO, info);  in vmx_inject_interrupts()
1620 	vmcs_write(VMCS_ENTRY_INTR_INFO, info);  in vmx_inject_interrupts()
1672 	vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);  in vmx_restore_nmi_blocking()
1683 	vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);  in vmx_clear_nmi_blocking()
1839 		vmcs_write(VMCS_GUEST_RSP, regval);  in vmx_set_guest_reg()
1890 	vmcs_write(VMCS_CR0_SHADOW, regval);  in vmx_emulate_cr0_access()
1894 	vmcs_write(VMCS_GUEST_CR0, crval);  in vmx_emulate_cr0_access()
1907 			vmcs_write(VMCS_GUEST_IA32_EFER, efer);  in vmx_emulate_cr0_access()
1910 			vmcs_write(VMCS_ENTRY_CTLS, entry_ctls);  in vmx_emulate_cr0_access()
1928 	vmcs_write(VMCS_CR4_SHADOW, regval);  in vmx_emulate_cr4_access()
1932 	vmcs_write(VMCS_GUEST_CR4, crval);  in vmx_emulate_cr4_access()
2471 			vmcs_write(VMCS_ENTRY_INST_LENGTH, vmexit->inst_length);  in vmx_exit_process()
2737 			vmcs_write(VMCS_ENTRY_INST_LENGTH, vmexit->inst_length);  in vmx_exit_process()
2866 		vmcs_write(VMCS_GUEST_RIP, vmexit->rip);  in vmx_exit_process()
3074 	vmcs_write(VMCS_HOST_CR3, rcr3());  in vmx_run()
3076 	vmcs_write(VMCS_GUEST_RIP, rip);  in vmx_run()
3147 				vmcs_write(VMCS_TPR_THRESHOLD, vlapic_get_cr8(vlapic));  in vmx_run()
3918 	vmcs_write(VMCS_EOI_EXIT(vector), val);  in vmx_set_tmr()
3941 	vmcs_write(VMCS_PRI_PROC_BASED_CTLS, proc_ctls);  in vmx_enable_x2apic_mode_ts()
3969 	vmcs_write(VMCS_SEC_PROC_BASED_CTLS, proc_ctls2);  in vmx_enable_x2apic_mode_vid()
4084 			vmcs_write(VMCS_GUEST_INTR_STATUS, intr_status_new);  in vmx_inject_pir()