Searched refs:mask_ident (Results 1 – 1 of 1) sorted by relevance
990 int error, mask_ident, shadow_ident; in vmx_setup_cr_shadow() local997 mask_ident = VMCS_CR0_MASK; in vmx_setup_cr_shadow()1001 mask_ident = VMCS_CR4_MASK; in vmx_setup_cr_shadow()1006 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow()