Home
last modified time | relevance | path

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

/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c1184 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()
[all …]
H A Dvmcs.h86 vmcs_write(uint32_t encoding, uint64_t val) in vmcs_write() function