Home
last modified time | relevance | path

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

/NextBSD/sys/amd64/vmm/intel/
HDvmx.c1079 vmcs_write(VMCS_HOST_TR_BASE, vmm_get_host_trbase()); in vmx_set_pcpu_defaults()
1080 vmcs_write(VMCS_HOST_GDTR_BASE, vmm_get_host_gdtrbase()); in vmx_set_pcpu_defaults()
1081 vmcs_write(VMCS_HOST_GS_BASE, vmm_get_host_gsbase()); in vmx_set_pcpu_defaults()
1096 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls); in vmx_set_int_window_exiting()
1108 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls); in vmx_clear_int_window_exiting()
1118 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls); in vmx_set_nmi_window_exiting()
1130 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls); in vmx_clear_nmi_window_exiting()
1141 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls); in vmx_set_tsc_offset()
1173 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_nmi()
1196 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi); in vmx_inject_interrupts()
[all …]
HDvmcs.h73 vmcs_write(uint32_t encoding, uint64_t val) in vmcs_write() function