Searched refs:VMCS_CR4_SHADOW (Results 1 – 3 of 3) sorted by relevance
193 #define VMCS_CR4_SHADOW 0x00006006 macro
888 vmcs_write(VMCS_CR4_SHADOW, 0); in vmx_vminit()1738 vmcs_write(VMCS_CR4_SHADOW, regval); in vmx_emulate_cr4_access()3124 vmcs_read(VMCS_CR4_SHADOW)); in vmx_getreg()3196 vmcs_write(VMCS_CR4_SHADOW, val); in vmx_setreg()
735 error = vm_get_vmcs_field(vcpu, VMCS_CR4_SHADOW, in get_misc_vmcs()