Searched refs:mask_ident (Results 1 – 1 of 1) sorted by relevance
1026 int error, mask_ident, shadow_ident; in vmx_setup_cr_shadow() local1033 mask_ident = VMCS_CR0_MASK; in vmx_setup_cr_shadow()1037 mask_ident = VMCS_CR4_MASK; in vmx_setup_cr_shadow()1042 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow()