Searched refs:VMCS_CR4_MASK (Results 1 – 3 of 3) sorted by relevance
191 #define VMCS_CR4_MASK 0x00006002 macro
887 vmcs_write(VMCS_CR4_MASK, cr4_ones_mask | cr4_zeros_mask); in vmx_vminit()
726 error = vm_get_vmcs_field(vcpu, VMCS_CR4_MASK, &cr4mask); in get_misc_vmcs()