Searched refs:VMCS_CR4_MASK (Results 1 – 2 of 2) sorted by relevance
240 #define VMCS_CR4_MASK 0x00006002 macro
1001 mask_ident = VMCS_CR4_MASK; in vmx_setup_cr_shadow()