VMCS_CR0_SHADOW
shadow_ident = VMCS_CR0_SHADOW;
vmcs_write(VMCS_CR0_SHADOW, regval);
shreg = VMCS_CR0_SHADOW;
error = vm_get_vmcs_field(vcpu, VMCS_CR0_SHADOW,