Searched refs:vmcs_write (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/uts/intel/io/vmm/intel/ |
H A D | vmx.c | 797 vmcs_write(VMCS_HOST_IA32_PAT, vmm_get_host_pat()); in vmx_vminit() 798 vmcs_write(VMCS_HOST_IA32_EFER, vmm_get_host_efer()); in vmx_vminit() 801 vmcs_write(VMCS_HOST_CR0, vmm_get_host_cr0()); in vmx_vminit() 802 vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE); in vmx_vminit() 805 vmcs_write(VMCS_HOST_CS_SELECTOR, vmm_get_host_codesel()); in vmx_vminit() 807 vmcs_write(VMCS_HOST_ES_SELECTOR, datasel); in vmx_vminit() 808 vmcs_write(VMCS_HOST_SS_SELECTOR, datasel); in vmx_vminit() 809 vmcs_write(VMCS_HOST_DS_SELECTOR, datasel); in vmx_vminit() 811 vmcs_write(VMCS_HOST_FS_SELECTOR, vmm_get_host_fssel()); in vmx_vminit() 812 vmcs_write(VMCS_HOST_GS_SELECTOR, vmm_get_host_gssel()); in vmx_vminit() [all …]
|
H A D | vmcs.c | 283 vmcs_write(uint32_t encoding, uint64_t val) in vmcs_write() function
|
H A D | vmcs.h | 57 void vmcs_write(uint32_t encoding, uint64_t val);
|