Searched refs:VMX_CR4_READ_SHADOW (Results 1 – 3 of 3) sorted by relevance
420 exec_vmwrite(VMX_CR4_READ_SHADOW, cr4); in vmx_write_cr4()553 ctx->cr4 = (exec_vmread(VMX_CR4_READ_SHADOW) & ~cr4_passthru_mask) | in vcpu_get_cr4()
346 VMX_CR4_READ_SHADOW,
171 #define VMX_CR4_READ_SHADOW 0x00006006U macro
Completed in 10 milliseconds