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 | 790 vmcs_write(VMCS_HOST_IA32_PAT, vmm_get_host_pat()); in vmx_vminit() 791 vmcs_write(VMCS_HOST_IA32_EFER, vmm_get_host_efer()); in vmx_vminit() 794 vmcs_write(VMCS_HOST_CR0, vmm_get_host_cr0()); in vmx_vminit() 795 vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE); in vmx_vminit() 798 vmcs_write(VMCS_HOST_CS_SELECTOR, vmm_get_host_codesel()); in vmx_vminit() 800 vmcs_write(VMCS_HOST_ES_SELECTOR, datasel); in vmx_vminit() 801 vmcs_write(VMCS_HOST_SS_SELECTOR, datasel); in vmx_vminit() 802 vmcs_write(VMCS_HOST_DS_SELECTOR, datasel); in vmx_vminit() 804 vmcs_write(VMCS_HOST_FS_SELECTOR, vmm_get_host_fssel()); in vmx_vminit() 805 vmcs_write(VMCS_HOST_GS_SELECTOR, vmm_get_host_gssel()); in vmx_vminit() [all …]
|
| H A D | vmcs.c | 286 vmcs_write(uint32_t encoding, uint64_t val) in vmcs_write() function
|
| H A D | vmcs.h | 69 void vmcs_write(uint32_t encoding, uint64_t val);
|