Searched refs:VMCS_CR0_MASK (Results 1 – 3 of 3) sorted by relevance
237 #define VMCS_CR0_MASK 0x00006000 macro
1022 mask_ident = VMCS_CR0_MASK; in vmx_setup_cr_shadow()
1003 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_MASK, &cr0mask); in get_misc_vmcs()