Home
last modified time | relevance | path

Searched refs:vmcs_write (Results 1 – 2 of 2) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/intel/
HDvmx.c1173 vmcs_write(VMCS_ENTRY_MSR_LOAD, pmap_kextract( in vmx_vcpu_init()
1175 vmcs_write(VMCS_ENTRY_MSR_LOAD_COUNT, in vmx_vcpu_init()
1177 vmcs_write(VMCS_EXIT_MSR_STORE, 0); in vmx_vcpu_init()
1178 vmcs_write(VMCS_EXIT_MSR_STORE_COUNT, 0); in vmx_vcpu_init()
1347 vmcs_write(VMCS_HOST_TR_BASE, vmm_get_host_trbase()); in vmx_set_pcpu_defaults()
1348 vmcs_write(VMCS_HOST_GDTR_BASE, vmm_get_host_gdtrbase()); in vmx_set_pcpu_defaults()
1349 vmcs_write(VMCS_HOST_GS_BASE, vmm_get_host_gsbase()); in vmx_set_pcpu_defaults()
1364 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_set_int_window_exiting()
1376 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_clear_int_window_exiting()
1386 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_set_nmi_window_exiting()
[all …]
HDvmcs.h86 vmcs_write(uint32_t encoding, uint64_t val) in vmcs_write() function