Searched refs:shadow_ident (Results 1 – 1 of 1) sorted by relevance
1015 int error, mask_ident, shadow_ident; in vmx_setup_cr_shadow() local1024 shadow_ident = VMCS_CR0_SHADOW; in vmx_setup_cr_shadow()1028 shadow_ident = VMCS_CR4_SHADOW; in vmx_setup_cr_shadow()1035 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial); in vmx_setup_cr_shadow()