Searched refs:shadow_ident (Results 1 – 1 of 1) sorted by relevance
785 int error, mask_ident, shadow_ident; in vmx_setup_cr_shadow() local794 shadow_ident = VMCS_CR0_SHADOW; in vmx_setup_cr_shadow()798 shadow_ident = VMCS_CR4_SHADOW; in vmx_setup_cr_shadow()805 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial); in vmx_setup_cr_shadow()