Searched refs:mask_ident (Results 1 – 1 of 1) sorted by relevance
785 int error, mask_ident, shadow_ident; in vmx_setup_cr_shadow() local792 mask_ident = VMCS_CR0_MASK; in vmx_setup_cr_shadow()796 mask_ident = VMCS_CR4_MASK; in vmx_setup_cr_shadow()801 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow()