Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/intel/io/vmm/intel/
H A Dvmx.c842 vmcs_write(VMCS_VPID, vpid[i]); in vmx_vminit()
869 vmcs_write(VMCS_EOI_EXIT0, 0); in vmx_vminit()
870 vmcs_write(VMCS_EOI_EXIT1, 0); in vmx_vminit()
871 vmcs_write(VMCS_EOI_EXIT2, 0); in vmx_vminit()
872 vmcs_write(VMCS_EOI_EXIT3, 0); in vmx_vminit()
3178 vmcs_write(encoding, val); in vmx_setreg()
3200 vmcs_write(encoding, val); in vmx_setreg()
3215 vmcs_write(encoding, val); in vmx_setreg()
3258 vmcs_write(base, desc->base); in vmx_setdesc()
3338 vmcs_write(vmcs_enc, val); in vmx_msr_set()
[all …]
H A Dvmcs.c283 vmcs_write(uint32_t encoding, uint64_t val) in vmcs_write() function
H A Dvmcs.h57 void vmcs_write(uint32_t encoding, uint64_t val);